WebSocket handler stub added, among other tiny changes