Markus Schönhaber said: > marc: > >> Ah, okay. Common parlance here is to use "plug-in" where FF calls them >> "extensions". So, I see what you mean. > > No. plug-ins and FF extensions are different things. That's the reason > why FF' "Add-ons" dialog has separate tabs for extensions and plug-ins. Yes! <sigh> -- Best, Marc