Die Firefox-Entwickler basteln an einem neuen Push-
Benachrichtigungsdienst für Webseiten. »