silviustro

### What happened? Hello, I switched from Firefox to Waterfox recently again. While at least the import of bookmarks was working well on G4.0.8, exporting the Bookmarks to HTML or...