Respuesta: El hilo de los Switch HDMI
Bueno, pues de momento funciona todo correctamente, a expensas de probar la doble salida simultánea con el proyector.
Tengo audio, se memorizan los datos EDID y, cuando conmutas, no se "suelta" el puerto, por lo que el Mac Mini sigue tal y como estaba, sin cambios ni desconexiones. En realidad, cuando conmuta le da señal de "desconexión por ahorro de energía", por lo que el Mini no hace cosas raras.
También tengo audio sin problemas con el receptor de satélite, los LEDS son muy discretos, es más pequeño, está mejor acabado, viene con soporte para colgar en la pared, con extensores de infrarrojos (2 receptores, 4 emisores y 4 minijacks para alargar el cable), fuente conmutada de 5VDC-2A, 6 tapones para las bocas HDMI libres y ¡¡¡ conexión USB !!!
Esta noche conectaré el proyector y ya daré un veredicto definitivo... pero de momento 9/10
PD: El alimentador de corriente es UK, no lo venden con el europeo. De todas maneras, un adaptador para la clavija en los chinos cuesta 1€
PD2: Precio total, envío incluído (en 5 días en casa) 115.62€