PCを再起動したら(あの日はWindows updateの日だったので)firefox 57 (Quantum)に更新され、そしたらaddonが動かなくなったりして、困ってしまっているのだが、なんとなく以前のように使えるようになってきた。ただ、greasemonkeyも4に更新しなければならず…