Greasemonkey 1.13