InstantSSH plugin: Updated configuration file