Am 31.01.2018 um 22:07 schrieb Brian Grinstead:
> Could you try testing this in a new profile just to be sure it’s not
> profile-related (as you mention since it reproduces in safe mode
> that's probably not the problem but worth double checking).
Well, it seems to be profile related. I tested in a new profile and it
worked as expected. No problems there, the correct code is shown, it
changes on reload.
> Also, could you open the Browser Console (Ctrl+Shift+J) and see if
> there are any errors coming from the debugger when you reload the
> page?
No errors in the Browser Console.
Now of course I could proceed with the new profile. But that would
involve a day or two of work to reestablish all extensions, settings
etc. So I'd be very grateful if there was a shorter solution. Any ideas
where I could search?