I find this really frustrating, too. This unreliability is very harmful because most likely newcomers immediately give up on the entire software when they encounter this.
@jcfr @Sam_Horvath What is the current state of migrating the extension manager to a new backend? How much work is still needed? What can we do to make it happen?