There are some DTDs in data/dtd.git which were needed for the old XML
pages. Apparently the following are no longer used:

   gleps.dtd
   metadoc.dtd
   project.dtd (not to be confused with projects.dtd which is in use)
   userinfo.dtd

Unless anybody speaks up who is still using them, I'm going to delete
them in one week from now.

Ulrich