Posts made by Himmelssherifff

@burnout426 Thank you very much. There it is. That's not where I naturally would have looked for the setting. But in a way it makes sense in this rearrangement of preferences.

I really like the new settings page, actually. Although it takes some time for reorientation.
But I ask myself: Has the enhanced address bar been abandoned? I don't find a setting for it.