Enhances the GitHub Notifications page, making it more productive and less noisy.
As of 15. 03. 2023. See the latest version.
These are versions of this script where the code was updated. Show all versions.
