[tor-dev] What's going on with websocket user numbers?