Update docs-manual, the core of Pusher is the HTML5 WebSocket protocol