[Configure] synchronize documentation of command line options