Add a few missing options to the man page source file.