Mirror of the offical SVN repo (starting from revision 7000)