[Plugin Installer] Simplify plugin reloading
[Plugin Installer] Fix #8111. Better repository error handling.