F3 now works with -search <search term> cmd-line arg (fixes #3806)

F3 now works with -search <search term> cmd-line arg (fixes #3806) #4863