The text 918b5a9748cb, as Debian 10 (Buster) shipped it.
process command-line options
Tk_ParseArgv(3tk) on Linux now
