OK. Inaczej. Znalazłem coś lepszego:
https://github.com/XiaomiFirmwareUpdater/miui-updates-tracker
Wchodzimy w odpowiedni folder, wybieramy urządzenia i klikamy plik .yml. Pojawia się tablica ze skryptem, gdzie jest link do pobrania ROMu. Kopiujemy link, wklejamy w pasek adresu, naciskamy Enter i... rozpoczyna się pobieranie.
Sprawdziłem wybiórczo, linki działają. Co niektóre jak widzę aktualizowane 3 stycznia br.
Jak się okazuje, jeśli się chce, można znaleźć...