PR gas/31388 Like other command line options this should be mentioned in documentation as well, not just in "as --help" output.