Perdón, el bug ese de que se quede el sensor de proximidad encendido todo el rato sigue presente, me acaba de pasar, y hasta que no reinicie el terminal no va a apagarse. Este error se remonta a cuando estábamos en Lollipop. Reto de nuevo a un fanático a que venga y me diga que son "de los mejores de soporte de software". Es alucinante.