Various useful (greasemonkey) user scripts.