[Chrome extension] Filtering the activity feed on github.com.