Greasemonkey snippets