[tor-mirrors] mirror list update

Hi everyone, As you may have noticed, the mirror list has not been updated for some time. I just wanted to reassure you that things should be back to normal shortly: we will start by manually updating the list with changes from the last two months, then at some point a new and more efficient automated system should be deployed. The time and resources you are volunteering will not go to waste. Thank you all for running mirrors!