bookmarklets, greasemonkey and random js scripts