Command arguments no longer called options.

The things appended to a program path in order to make a command line
are more appropriately called Arguments than Options.

Thanks Marco Certelli.