On Fri, Feb 17, 2012 at 1:50 PM, Paul Hartmann <phaaurlt at googlemail.com> wrote: > If we reserve a small pool, this won't be enough, so who decides which > plugin is more important? That's the idea. It can be enough because nobody installs all plugins but only a few of them. Pieren