This issue is a stub; we can fill it in later, but for now, I need an issue number to include in a TODO I'm writing for #3548. Currently, we're depending on some combination of [this](https://github.com/wix/react-native-notifications) (less popular, less maintained) and [this](https://reactnative.dev/docs/pushnotificationios.html) (deprecated). Discussion [here](https://chat.zulip.org/#narrow/stream/243-mobile-team/topic/iOS.20push.20notifications/near/825050) will be relevant.