Oh right I should have realized that. Wonder if there is a serverless way to push the notification. Like how SimpleX does. I think only the notification goes to server but not the message or something like that