The text de09ff3f2f3f, as Debian 1.3 (Bo) shipped it.
text formatting and typesetting
tex(1) on Linux now
