Fairphone Open se atasca en el bucle de "optimización de la aplicación" tras la actualización del sistema operativo

Después de recorrer los foros de Fairphone, encontré una solución que funcionó (entre muchas que no lo hicieron). Así que gracias a https://forum.fairphone.com/t/stuck-optimizing-apps-after-updating-on-fp-open-os-16-07-1/21146 . Lo importante era reinstalar OpenGApps. Con más detalle:

1. Saca la batería para salir del bucle del maletero, y vuelve a ponerla.
2. Asegúrese de tener una copia del OpenGApps paquete en la flash interna o en la tarjeta SD. Seleccione Plataforma=ARM, Android=5.1, Variante=pico (otras variantes presumiblemente también funcionan). No tiene que ser necesariamente la última versión (a mí me funcionó con una versión de hace un par de meses que aún tenía en la flash interna).
3. Mantén pulsados los botones de subir volumen y encendido durante unos segundos, para cargar la imagen de recuperación del teléfono (TWRP).
4. Desde TWRP, elige "Instalar", luego selecciona el zip de OpenGApps e instálalo.
5. TWRP pide que se borre la partición de la caché. Yo lo hice, no sé si es realmente necesario.
6. Reinicia.

Guía de actualización de freibadschwimmer sugiere hacer lo mismo con Xposed Framework, si lo tienes instalado. Otros gestores de paquetes como F-Droid también pueden necesitar ser reinstalado; no está claro para mí si eso es realmente necesario.

Recomiendo mantener zips de software extra como OpenGApps en la flash interna todo el tiempo, en caso de que otra actualización cause el mismo problema.