Thanks for the info!My main concern is not to run JavaScript. Do you know if Gnome Videos use JS internally?
FWIW the other day I read that youtube-dl *does* use JS... which makes me hesitant to use it. Do you know any alternative to it which doesn't?
