remove notifications.js: not needed, unused