PD. ¿a qué espera TVE para prescindir de flash?
En realidad estos vídeos son anteriores. Ahora viene usando mp4, lo que tampoco me vale de cara al disco multimedia porque éste no me lo soporta. Ni tan obsoleto ni tan moderno.
Busca en las bibliotecas de extensiones para Firefox una llamada DownloadHelper. Sirve para descargarte el material multimedia en "streaming" de una página. Además, los puedes descargar con conversión al formato de vídeo que más te guste. Tienes que tener instalado "mencoder" y/o "ffmpeg".
Eso sí, hace tiempo que no pruebo con los vídeos de rtve.es Hace algún tiempo tenían el "streaming" tan bien disimulado y programado, que la aplicación no conseguía descargar nada.