Not intentional. Most would also agree that push notifications are a bigger hack on your attention than you having to "pull" your notifications.