Envío a otra pantalla y televisión en directo, arreglados en Android

Era el propio aparato receptor el que bloqueaba la emisión. La política de red de Android permite http sin cifrar solo hacia loopback, y un envío llega desde una dirección pelada de la red local que no hay manera de nombrar en ese archivo. Ninguno de los dos extremos podía verlo: a la máquina emisora se le decía que la película iba bien, así que el único síntoma era un círculo girando en el televisor.

Correcciones

• Enviar a un Android TV funciona.
• Los canales de televisión servidos por http sin cifrar se reproducen en Android, por el mismo motivo.
• Un envío fallido ahora nombra la máquina correcta: "No se ha podido contactar con el dispositivo desde el que se envió: comprueba que sigue encendido y en esta red", en vez de un mensaje que te mandaba a la pantalla de Fuentes desde un televisor que se había dormido.
• Windows vuelve a compilar. mpv y ffmpeg se descargan con los nombres nuevos de sus archivos de origen, y los scripts de traducción ya no construyen rutas rotas a partir de una URL de archivo.