Bueno; me contesto yo mismo:
Ya lo he encontrado, bautizado con otro nombre y otro icono: Ahora se llama "reajustar midi" y el icono es un signo de admiración. He tenido que buscar en foros en inglés hasta que ha aparecido.
Siempre es bueno saber algo nuevo.
Un saludo Aurion.