honestbleeps/Reddit-Enhancement-Suite — pull request #1106 by andytuba (2014-05-18 18:57:33+00:00)
Title: highlight user by user.id, not username

fixes break from lowercased usernames in data