Push notifications in (mobile) Linux

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