The text bf998f5b643c, as Debian 8 (Jessie) shipped it.
accessor functions for fonts
Tk_PostscriptFontName(3tk) on Linux now
