I think individual user scripts for Greasemonkey should be called “ Smart Tags “. Everyone who switched sides on this one since 2001, please raise your h...