It’s one thing to send a push notification, after all, but the new API allows developers to set rules for those many users who use multiple devices, apps and other services.