Mirror/clone of the theia svn repo