Tratando de resolver el " ajustes se ha detenido ", hice un reinicio completo, y entonces surgió otro problema.
Al volver a insertar la tarjeta SD externa, el Archivos (o cualquier gestor de archivos) puede ver el contenido, pero la galería y los reproductores de música no ven los medios. Y al conectarse al PC, la tarjeta SD sólo muestra una o dos carpetas, y nada más.
La tarjeta SD es una SanDisk microSDXC Clase 10 de 64GB, que se formateó inicialmente desde el Nokia 8 en el primer uso, como se requería por alguna razón.