A browser extension that adds snooze, batch-dismiss, and rule-based auto-filing to GitHub's notification page for developers drowning in alerts.