The current non-push web notifications are pretty useless, adding push notifications would really enhance the app's functionality.