The text afa5fe1f7ba9, as Debian 12 (Bookworm) shipped it.
translate WEB to TeX
weave(1) on Linux now
