honestbleeps/Reddit-Enhancement-Suite — pull request #1710 by mc10 (2014-10-25 00:35:44+00:00)
Title: userHighlight: Rename (passive) doHighlight method to highlight

`doHighlight` just sounds awkward and clumsy.