part01   detex - filter to strip TeX commands from a .tex file, Part01/01