Web Push notifications are a powerful and important part of the web platform.