InstantSSH plugin: Added editors application section