[12:41] <artetv> Que programas de línea de comandos puedo usar para descargar vídeos de https://www.arte.tv  ?    Por si acaso, ni youtube-dl ni youtube-dlp permiten *en la actualidad* descargar videos de dicha pagina.