dev/public: links for ssh4py