The text 735e19f51b2f, as Debian 8 (Jessie) shipped it.
process configuration options for widgets
Tk_FreeOptions(3tk) on Linux now
