> 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