SERVER-11045 Update man pages from the MongoDB Manual