This causes problems in practice on certain websites (e.g. Facebook,
Riot) where the key press is handled by both the web page and the
browser. I'm guessing these sites are not using normal text entries.
Anyway, these are really niche shortcuts when the much more common
Ctrl+F is available, which does not have any web compat implications.

https://bugzilla.gnome.org/show_bug.cgi?id=795083