Just curious. In the past one used to be able to select the repo they wanted to use in TER settings. This screen doesn't exist anymore - hasn't in a while I don't think. Do all the extensions come down from git now? We've been finding the TER slow to load, in 7.5 at least, and was thinking we could set up a local mirror. Simon