In the 1990s, we had the friendly “you’ve got mail!” In 2017, we have the trying-to-be-friendly push notification. Push notifications…