Right now, you can ctrl+f to search the file you're in. This works as you'd expect, however with a huge repl, with multiple files, it would help so much to be able to search every file.