Discourse taking over Ctrl-F

There was a thread where the final part of it ended on saying that they were disabling the ctrl f default behaviour. Not a bug but it is agreeably a debatable choice.