Has anyone plugged together WebSub (https://www.w3.org/TR/websub/) and Web Push (https://w3c.github.io/push-api/ or https://tools.ietf.org/html/rfc8030) yet?
Seems to me we could have occasionally-connected and roaming clients getting real-time notifications of things like, say, RSS feed updates, using mostly infrastructure that exists today.
