detex(1) on Linux

The text 9c32cfb38222, as Debian 9 (Stretch), Debian 8 (Jessie), Debian 5.0 (Lenny), Debian 4.0 (Etch) shipped it.

a filter to strip TeX commands from a .tex file.