The text 1c8e24eda0f6, as Debian 7 (Wheezy) shipped it.
Add/retrieve window options to/from the option database
option(3tk) on Linux now
