Comment by kmoser

> but at the same time it is sort of weird since it technically is not the same name without the circumflex, right?

Assuming you have a "standard" keyboard, it's not weird at all for your browser to match the diacritic when you type the non-diacritic character since presumably the diacritic would be difficult to type. Firefox's search feature even has a [_] Match Diacritics checkbox which you can enable or disable.