The text 57f0773cb4d8, as Debian 8 (Jessie) shipped it.
Standard options supported by widgets
options(3tk) on Linux now
