Acabo de hablar con HTC Europa, y me han confirmado que este comportamiento pasa a veces y que la única solución es haciendo un "reseteo duro". También me ha dicho que no existe un "reporte" de que pase este problema de forma oficial, y que no se puede sacar copia de seguridad de los mensajes, como sí se puede hacer en un dispositivo Windows Mobile.
Es decir, aunque ellos saben que existe ese problema, no saben cómo solucionarlo, ni cuándo pasa, y la única solución que te dan es haciendo un hard reset.
Acaban de descender unos cuantos puntos en mi escala.
Sabía que es un sistema operativo muy nuevo, y que me podía encontrar con pegas, pero después de ver cómo están llevando este fallo garrafal, no voy a recomendar a nadie un terminal android por ahora, sobre todo si es para cosas importantes.