[Web extension] Filter events on github.com activity dashboard.
A web extension for filtering the activity feed on github.com dashboard.
⚠️ This does not work with the new "For you" event feed.