I'm working on a web application in which users will occasionally have to search for various information in a log file. So users would go to this app, kick off a batch script, and wait for it to finish. If there are any issues, they might search through the log for some piece of information to help troubleshoot.
Here's my question - since the entire log will be displayed on the page, is it worthwhile to implement a custom search at the top of the page, or should users just rely on the browser's built in Cmd/Ctrl-F feature? A custom search feature would certainly be more visible, but might not offer any different/better functionality from what the browser already will.
(For the sake of this question, please assume that the user actually needs to search the log file. I realize there are far superior solutions that would move relevant error messages out of a giant text file, but for the moment we're stuck with this interface.)