The text 480102a923ac, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.
translate WEB to TeX
weave(1) on Linux now
