I have to say, though, the push notifications are much improved. If you later want to disable them, you can do that in your preferences here, rather than struggling with your browser settings. Also they contain much more useful information and the preferences give a lot of granularity as to what type of event generates a push notification.