Te equivocas
estamos en la 12.0.9.0
La global europea se puede enlazar desde
aquí
En cuanto a la recopilación de enlaces, no es el mecanismo más adecuado (en eso tienes razón) ya que Xiaomi debería tener su propia página de descargas y así no serían necesarias dichas recopilaciones.
Siempre debes fijarte en que el enlace suministrado apunte a
https://bigota.d.miui.com