以下の断片をDevHub.min.jsに組み込みました。
そもそもとしては、libs/client.jsのprepend_msgに組み込む感じが正しい。
var havePermission = window.webkitNotifications.checkPermission();
if (havePermission == 0) {
var notification = window.webkitNotifications.createNotification(