(TXT) etex.bib
 (TXT) margin-post-web2c.ch
 (TXT) margin.ch
 (TXT) margin.tex