DokiWorld game server (Tardis): raw TLS on port 11200, nothing to see over HTTP.