Thanks for the link!
Well, the thing is that in the microG settings, it says the service is connected:
But for some reason, apps can’t register with it (screenshot from the Push Notification Tester app):
I’m a bit confused about that.