Greasemonkeyed newly-launched repository of Greasemonkey user scripts #