https://wwtyrd.com/tech/romaine/how-to-mute-notifications-for-contacts/