A greasemonkey script to highligher comments of specific users