Add missing command line options to the man page.