Oh, interesting! No we have not considered this yet. Our priorities regarding push notifications are to fix the push subscription update and iOS issues and add the other, missing notifications yet (like cowboy hat, daily earnings etc.) After that, adding a push notification for updates can be considered :)