El móvil va muy rápido y fluido.
He hecho Wipe de la Cache Partition desde el Recovery nada más actualizar (por cierto,
ha desaparecido la opción de "Repair Apps" del Recovery) y, tras reiniciar he pasado el módulo Galaxy App Booster de la app Good Guardians y va como un tiro.
Por ahora no veo necesidad de hacer un restablecimiento a ajustes de fábrica... A ver cómo se comporta la batería...