f56248d
Merge branch 'plugin-fixes' into devel Improves feedback on active plugins, new options to list plugins and to enable/disable them i. e., to override is_applicable()