Update man

[skip ci]

I'm going to start skipping the CI for these simple update commits; I'll do a CI commit later after updating a bunch of the little submodules (this way, we save on our allotted build minutes on CircleCI)