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.