texfot(1) on Linux

The text 9a856b6127e2, as Debian 9 (Stretch) shipped it.

run TeX, filtering online transcript for interesting messages

texfot(1) on Linux now