PLUGINS:  Fix of bug introduced in 9158f5a9, which had duplicate pluginname:run functions.