[jraph]

But for stuff like chat, 5 minutes is quite slow, push notifications are for this use case.

"hey, I just arrived at the restaurant!" You may want to know this now