Update manual for new CLI options.