Thanks. I’ve done that several times (new upgrades appear very regularly) but the problem persists.
I could recreate the problem in safe mode only when I just disabled the theme and nothing else. With any other combination of disable-options the problem did not show. Now I take it that “disable all plugins” also includes the non-official plugins so the problem should be found somewhere in there.