InstantSSH plugin v4.0.0 RELEASED