tools docker etc in plan

[Dag Andersen]

Atm I don't have any use for the tools docker nor actually any other docker 
except the Scripting docker in plan.
This *may* change in the future of course, so it would be nice to have a way 
of controlling which plugins should be loaded. AFAICS it's possible to 
*disable* plugins if you know their id. I'd rather have the possibility to 
*enable* those I use and have everything else disabled.
Anybody knows how this could most easily be achived?
-- 
Mvh.
Dag Andersen