Notifications are a double-edged sword. They're useful when they tell you something you need to act on - a message from a colleague, a calendar reminder, a CI pipeline that just failed. But they're useless when they pop up at the wrong time and you can't do anything about them yet …