ost_CommandOption(3) on Linux

The text 46b42cb85bbd, as Debian 10 (Buster) shipped it.

CommandOption is the base class for all command line options.

ost_CommandOption(3) on Linux now