Android: Установить архивное обновление OTA

На моем Xiaomi Mi5 сейчас текущая версия ОС — LineageOS 15.1. В данный момент идет активная работа над LineageOS 16, но она пока неофициальная и достаточно сырая, поэтому я пока не хочу на нее переходить.
Версия 15.1 хоть и официальная, но еженедельные обновления к ней теперь почему-то стали приходить чуть ли не каждый день, причём время работы аккумулятора стало хуже. В итоге я решил вернуть одну из старых стабильных прошивок — 15.1-20181001-NIGHTLY-gemini. Для этого я перешёл в Настройки -> Система -> О телефоне -> Обновления LineageOS.
В списке были доступны новые версии для скачивания или удаления, но старые (архивные) версии установить было нельзя — напротив них была лишь кнопка «Удалить».
Если сделать долгий тап на таком обновлении, то среди вариантов действий будет доступно два:

На скриншоте видно, что это два варианта: «Экспорт обновлений» и «Удалить».
Если нажать «Экспорт обновлений», то оно будет сохранено в следующую папку:
/sdcard/LineageOS updates
Теперь можно загрузиться в TWRP и из режима восстановления поставить нужную версию LineageOS из той папки!