ost_CommandOption(3) on Linux

The text 40fb43784d82, as Debian 9 (Stretch) shipped it.

CommandOption is the base class for all command line options.

ost_CommandOption(3) on Linux now