input_option_6.txt 79 Bytes EditWeb IDE 1 <info>-o|O, --option_name=OPTION_NAME</info> option with multiple shortcuts