Nomenclature suggestion

I think individual user scripts for Greasemonkey should be called “Smart Tags“.
Everyone who switched sides on this one since 2001, please raise your hand. (For once, I get to smugly be consistent on this one.)
Update: Or, you know, GreasemonkIE.