An introduction into push notifications, why we want it on Linux, and an overview over the current options.