2023-05-04

New mirror index page

We’ve updated the mirror index page to include more detailed synchronization status information.

If you experienced any usability issues due to browser compatibility, please let us know on [email protected].