Patched copy of Ajaxterm that allows connecting to remote SSH servers