Greasemonkey-style user scripts