Add documentation of new command line options