Absolutely fair point.
I don’t think it has to replace Google push for everyone. For most normal users, Google push is probably the most reliable and battery-friendly option.
But having an alternative path would still be huge for people on de-googled devices, GrapheneOS, or setups without Play S...