@ulfi No, I didn't try that. I've kept settings open old/new in two browser windows and went through them one-by-one. Also to learn what might be new there, what still applies to me and what might need to be updated/changed – but apart from that I must have missed the place to export/import settings: where is it? Maybe in the "moving" sub-menu, which I did not yet touch?
@IzzyOnDroid in the web view (free translated from German) - settings - import/export (last entry).