[Users] SpiceHTML5, noVNC console and Spice Proxy mixable?