Misc. functionalities for an enhanced UX on reddit.com (assumes you use RES, but will probably work without it too)