weave(1) on Linux

The text f38e30c543a8, as Debian 10 (Buster) shipped it.

translate WEB to TeX

weave(1) on Linux now