Greasemonkey 1.13beta5