How is it that gmail (seemingly) has no way to always get a push notification for a specific contact?!