I *love* that GitHub's Ctrl-F search still gives you the option of going back to the browser text search! It's reasonable to override Ctrl-F in a website, but sometimes you really do want the normal browser tooling.