The current implementation of mirrors requires too much user interaction just to find one that works, if your ISP is rather strict, you have to patch, go back, settings, mirrors, set a different mirror and repeat, until you find one that works
This is unnecessary because you can programmatically iterate over the mirrors until you find one that works, which can then be set as the default mirror