Ciao
Iceberg!
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!