https://andrealazzarotto.com/2018/01/28/script-aggiornati-per-greasemonkey-4-e-altre-importanti-novita/