> Maybe I'll put an unmodified version to the repository

  I think it's really best.  For the moment I have to fetch the original
files from TeX Live if I want to compare.

> Removing comments is straightforward. Adding them is not :)

  Sure :-)

        Arthur

Reply via email to