scripts de usuário como Greasemonkey não são mais editáveis ​​no Firefox 71 (eles estavam funcionando bem na versão 6x)

Question

Acabei de atualizar para o Firefox 71 depois de não atualizar por mais de um ano. Agora os scripts do violentomonkey não podem ser editados. Então também não pode ser ligado ou desligado. Eles estavam funcionando bem na versão 6x do Firefox.

Fiz backup dos meus scripts, desinstalei e reinstalei e importei os scripts de volta. Ainda o mesmo problema.

Violencemonkey desinstalado, Greasemonkey instalado. Criou um script, mas ele simplesmente não salva. Dá o erro:

Script save error

    User script save failed: script named "Unnamed Script 120573" already exists in namespace "custom_scripts".

The editor contents have not been saved. Fix this error and try again.

O que quer que eu conserte, não posso salvar.

Finalmente instalei uma nova extensão FireMonkey (afirma estar usando a API de extensão mais recente do Firefox). Aqui consigo salvar os scripts e um simples

alert('hello');

funciona bem. Mas quando criei um script copiando e colando o antigo script violentomonkey, não funcionou. (O cabeçalho foi editado para ser compatível com FireMonkey).

Você poderia sugerir uma solução?