GetOption(3tk) on Linux

The text 7f6ce1ddc0a3, as Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

retrieve an option from the option database

GetOption(3tk) on Linux now