Fixed do_plugin_details() and a bug when copying PluginInfo instances (that had no real impact right now, but might have in the future).