A fork of Guacamole, an HTML5 remote desktop gateway