Guardar los videos de RTVE

Desde que RTVE.es sacó su página he visto algún video, pero no los podia guardar en el ordenador.
Mirando y googleando, como siempre, he encontrado la solución:

1º Entramos en la página de RTVE y picamos en TVE a la CARTA. Colocamos el ratón encima del video que queremos guardar y con el botón derecho elegimos abrir en pestaña nueva.
2º Nos vamos a esa pestaña nueva y cambiamos la terminación de la url, esto es, html por xml, osea:
http://www.rtve.es/alacarta/player/423930.html
por
http://www.rtve.es/alacarta/player/423930.xml
3º Nos cambiara la página y saldra un código tipo html- Mirámos dentro del código y copiar en el campo “locatión” desde /resources hasta flv, osea:
resources/alacarta/flv/8/9/1235438373398.flv
4º Añadimos a la dirección principal http://www.rtve.es lo que hemos copiado:
http://www.rtve.es/resources/alacarta/flv/8/9/1235438373398.flv
5º Guardaremos el video con extensión flv y con la orden:
mencoder -oac copy -ovc copy -idx -o resultado.avi origen_*.avi
lo pasaremos a avi.
Para ayuda mirar aqui

El sistema se enseña en MMadrigal y la información la he sacado de esta página aqui

Actualización a 12 de febrero 2010
Han cambiado en rtve y ya no se descargan los videos con el procedimiento que esta descrito más arriba.
Mirando en Google he encontrado una página en la que su autor ha creado un programita muy sencillo para descargar los videos directamente. Solo funciona en GNU-linux.
La página es esta

Otra opción es la descrita en esta página