Ctrl-F now prompts the terminal with / (search)