They didn't have Ctrl+F back then?
BTW this reminds me of Ctrl+R in Bash (reverse search). Try it if you don't know it!
If you use Ctrl-R a lot (and even if you don't), I recommend trying out https://github.com/junegunn/fzf, makes it a lot easier to use for me.