Huh. Did greasemonkey morph into tampermonkey?