"""Push notifications about new mail (Web Push)."""