[Web extension] Filter events on github.com activity dashboard. - View it on GitHub