Changed name as used by Greasemonkey.