yet another HTML5 notification API change