Re: Unifying name for Plugins/Extensions/etc.

[Denis Washington <dwashington gmx net>]

> So it seems that everyone prefers "Extension" to "Plugin" or any
> others, in theory anyway. But the implementation or change would be
> significant, perhaps not even worthwhile. 
> 
> But if the currently recommended terminology of "plugin" isn't being
> observed or enforced, wouldn't it at least be worthwhile to change the
> documentation to the preferred word? And then we could file bugs and
> try to unify the terminology? 
> 
> Or am I being a bit too idealistic?

I don't think so. That's exactly how I would like to do it.

Regards,
Denis