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