L'ultimo aggiornamento di Firefox, da alcuni ritenuto il più importante degli ultimi dieci anni, ha portato notevoli cambiamenti e fatto saltare la compatibilità di parecchi componenti aggiuntivi, incluso purtroppo il gestore di scripts Greasemonkey.
Ho quindi cercato e trovato due ottime alternative in Tampermonkey, che già conoscevo perché qualche anno fa lo avevo installato su Chrome e Chromium, e Violentmonkey, disponibile non solo per Firefox ma anche per Opera, dove si comporta molto bene.
In questa occasione ho pure scoperto che di Tampermonkey esiste anche una versione per Safari, ovviamente installabile anche sul gemello "evoluto" Safari Technology Preview.
Ho provato quindi ad installarlo insieme ai noti script creati da Andrea Lazzarotto per guardare e scaricare i video dai portali della Rai, di Mediaset e di La7, particolarmente utili per il sito della Rai perché per poter accedere ai contenuti "on demand" è ormai necessaria la registrazione, che è gratuita e veloce (salvo complicazioni) ma costituisce un passaggio in più che si può evitare e mi sembra che l'insieme - gestore + script - funzioni bene, su Safari T. P. forse anche meglio che sul Safari "titolare".
Desideravo segnalarlo a chi ne avesse interesse.
>>>
http://tampermonkey.net" onclick="window.open(this.href);return false;
>>>
https://greasyfork.org/it/users/2482-lazza" onclick="window.open(this.href);return false;