Core: PluginManager now ensures that plugins are not loaded multiple times.