Ah, my apologies, I was assuming the error to be on my end, due to my lack of experience with Eclipse.
Of course if you’re servers are having issues that would explain the “no repository error”.
No worries, I already have the plugin on my laptop, I can wait with installing it on my desktop.
Thank you for the great work, a decent dark theme makes working/studying in the evening a lot more pleasant.