One server experiences connection troubles, some add-ons are therefore unavailable. We are looking into it
Update: The problem has been fixed at 16:20 UTC