copy of the old svn repository, starting at revision 4862