I am attempting to connect to the repository so that I can check out an older version of GMP, however my connection is being refused (port 8000). Is the information in the developer's corner on the website accurate? How can I connect to the repository? Thanks! John