1These files provide functionality for serving and responding to HTTP
2requests, and handling WebSocket connections.  For this we rely on
3httpd.js and the chrome-only WebSocket.createServerWebSocket function.
4
5Generally speaking, this is all held together with a piece of string.
6It is a known problem that we do not have a high-quality HTTPD
7implementation in central, and we’d like to move away from using
8any of this code.
9