WebSocket: remove compatibility code for old-style update messages.
Add support for optional desktop notifications of new updates.