The text d80a2cedb545, as Debian 1.2 (Rex) shipped it.
Introduction to the Tix widget set
TixIntro(3tix) on Linux now
