> 2) Please modify the download CGI to remove the :4443 port specifier > from the svn.cis.upenn.edu URLs. It is no longer needed, and may cause > problems for people behind draconian proxy servers. Yup. I'm unable to see that page from my office.