[BZ 1068816] ServerPlugins -> ServerPluginManager to have consistent names