Code for the SharpSSH project, from https://github.com/jbogard/SharpSSH