honestbleeps/Reddit-Enhancement-Suite — pull request #714 by mc10 (2014-01-14 04:22:46+00:00)
Title: Fully remove Greasemonkey support

This is a WIP pull request for fully removing Greasemonkey support from RES.

**TODO:**
* Replace/rename the Greasemonkey API functions with standard functions, likely under `RESUtils`.