InstantSSH plugin: Cleanup