Open math-feng opened 5 months ago
Maybe some sort of fallback logic? We could auto switch if the first one fails? Maybe also fallback between the providers? Would that be a good solution @math-feng ?
Whether or not it will automatically fall back doesn't matter to me, I'd just like to add at least one more location where I can store the server's address so it's easy to switch.
Add two more as alternatives to the texify add server address option, because sometimes the first one doesn't work so you can quickly switch to the second one.