HTTPs support for Web PUSH notification

the Service worker's request would most likely fail because the HTTPS certificate

But i'm planning to use proper certificate

you could set up some kind of service on your own server

Yes, i'm thinking of running my own web service

Thanks for the quick response. BTW in general, do you think that there is no need for HTTPS in Espruino pico?