greasemonkey userscript to declutter reddit and enhance some other aspects