On the topic of SSH: It appears that they used their own version of SSH reimplemented in PHP: https://web.archive.org/web/20140102104411/http://blog.magicaltux.

On the topic of SSH: It appears that they used their own version of SSH reimplemented in PHP: https://web.archive.org/web/20140102104411/http://blog.magicaltux.net/2010/06/27/php-can-do-anything-what-about-some-ssh https://web.archive.org/web/20140102104411/http://blog.magic...