kdebase/kate/pluginmanager
