Web push notification is a wide-spread tool in marketing. They are quick messages sent by