Tk_Name(3tk) on Linux

The text 0817def7e279, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.

convert between names and window tokens

Tk_Name(3tk) on Linux now