After upgrading a laptop to 12-CURRENT, I had problems with firefox 57 choking on
let firefox create a new one. That solved the problem. But with that I lost my
noscript settings and my bookmarks.
Restoring noscript …