[Unison-hackers] Unison website contributed-binaries updates

[Benjamin Pierce]

> 1) Please delete http://www.cis.upenn.edu/~bcpierce/unison/download/ 
> unison-contributed-binaries/
> which is an out-of-date copy of
> https://svn.cis.upenn.edu/svnroot/unison-contributed-binaries/

OK.

> 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.

Where are you seeing 4443's?  I can't see any in the download CGI.

Thanks,

     = Benjamin