option(3tk) on Linux

The text 8407cd44534f, as Debian 11 (Bullseye), Debian 10 (Buster) shipped it.

Add/retrieve window options to/from the option database

option(3tk) on Linux now