Helpdesk of Dashboard filter for GitHub chrome extension