i don’t think non-optional push notifications are a thing. users can always turn them off.