collection of some user scripts for Greasemonkey