V7 Bookmarks not working

Why does the extension V7 Bookmarks not export bookmarks to HTML any more? I am now using Opera 45.0.2552.888. It was working before, with an earlier version of Opera 45. It is not interference from another extension, since it does not work with all other extensions disabled. Is there some kind of tweak that could be done to it?

I do not want favicons. Maybe that would not matter, since I locked the Favicons file in the profile, so none get saved anyway? I tried removing the update line in manifest.json in the extension setup in the profile. Would that not stop the updates?