Realtime RDoc viewer with WebSocket.