Ciao
Iceberg!
![Smile :)](/Smileys/default/icon_smile.gif)
Ti ringrazio innanzitutto della risposta.
Tuttavia, prima di postare, avevo in effetti dato un'occhiata alle estensioni contenute nella sezione da te segnalata, senza esiti positivi.
In particolare ho installato, e poi rimosso, "Easiest YouTube Video Downloader" e "Complete YouTube Saver", perché non riuscivano a prelevare alcunché (parliamo di un tutorial dell'Agenzia delle Entrate, non credo schermato da alcuna protezione particolare ...).
Il fatto è che YouTube si rinnova con una certa frequenza e rincorrere qualche add-on legacy potrebbe altrettanto rivelarsi infruttuoso.
Potrei sempre appoggiarmi a qualche sito di download online e on-the-fly ... però una volta era diverso: l'estensione c'era (parlo ad esempio di Video DownloadHelper).
Approfondirò ... GRAZIE per la risposta!