ost_CommandOption(3) on Linux

The text ee2c0b809c1e, as Debian 8 (Jessie) shipped it.

CommandOption is the base class for all command line options.

ost_CommandOption(3) on Linux now