documented command line options.