You can clone with
HTTPS or Subversion.
Rename files to avoid same-name-different-case situations
Create the placeholders for almost all of the missing tag documentation
The "placeholder" files do actually have some content, namely the
stuff from the "synopsis" section that I generated using some clever