@TiLow awesome! As moderator here, I think my job is to help users make and keep their mirrors running. Watch for trouble and find ways to resolve it.
Your clear description of the problem helped identify a good resolution. I didn’t do any of the work. Just connected the dots.