Bookmarklet: hide issuecomment for GitHub