The Plugins manager has been debugged and made more robust.