Remove old information about the SVN repository from the documentation.