Qué es y para qué sirve el botón rojo que lleva 34 años en ciertos teclados: su verdadera función