Web developmentGitHub Open NotificationsJan PiotrowskiExtension that provides buttons on the GitHub notifications page to open them (all|all PRs|all closed|all with user...) in new tabsScreenshots from Mozilla Add-ons