Vale, he ido a ver qué era eso del último paquete y no te preocupes de nada, como mucho te ocupará espacio, deberás buscarlo para borrar y recuperar esa memoria en la carpeta de descargas, tendrás otra carpeta que sea downloaded_rom, ahí está el archivo que descargaste.
Lo que hace es descargar la última actualización disponible y guardarla, pero no instalarla.
Sobre los RedMagic, lo que no me gusta es que tienen muy poco soporte de la comunidad, en cambio estos de Xiaomi se han hecho con una base de usuarios brutal y casi siempre encuentras info (precio a parte que también duele la cartera!!!!).