Fatto qualche prova.
NetVideoHunter: non rileva il video e non lo scarica, mi pare ovvio se non lo rileva.
Un paio di Youtube "super" downloader: non funzionano, file vuoto.
VideoDownloadHelper: installata l'estensione chiede il permesso di installare altra roba, mandato a quel paese.
Allora ho digitato, sì digitato da linea di comando:
youtube-dl https://www.youtube.com/[video]
scaricati tutti e tre.
Non sono veri video, è audio con immagini, forse questo potrebbe mandare in crisi le estensioni? Inteso come: audio con immagini in un nuovo formato caldo caldo.
Vedi qui per
youtube-dl:
https://forum.mozillaitalia.org/index.php?topic=72154.0Se qualcuno trova una estensione che funziona la segnali. Funziona senza il trucco di rimandare in modo palese o nascosto a qualche sito terzo che fa il lavoro al suo posto.