On Sun, Nov 09, 2003 at 11:34:48PM +0200, Dov Grobgeld <dov@xxxxxxxxxxxxxxxxxxxxx> wrote: > Sven wanted to have a discussion whether this plug-in should be included If discussion means "wants to see some opinions", then here we go :) - No, it should not be included, in general. - As long as there is no good repository for plug-ins (and my opinion is that there isn't), it (and any other plug-ins that can be maintained at reasonable cost(!)) should be included, as that's the best way to ensure total user satisfaction. In other words: Right now, yes, but in the long run it should be a seperately installable module, just as python or perl come with some common modules/extensions, but not all of them. -- -----==- | ----==-- _ | ---==---(_)__ __ ____ __ Marc Lehmann +-- --==---/ / _ \/ // /\ \/ / pcg@xxxxxxxx |e| -=====/_/_//_/\_,_/ /_/\_\ XX11-RIPE --+ The choice of a GNU generation | |