Fix repo name for plugin managers.