> Although SSH is quite a heavy development on PyPI side, it means we > would have to implement > an SSH server. (like Zope did I think for their development server, > using Paramiko IIRC) Not necessarily: it might be possible to use sshd. Regards, Martin