Mercure: A WebSocket alternative for server-sent events