"ctrl-f" was overly literal, I simply meant "a way to search the content of all the comments."

A simple (non-JS) "Search these comments" form would suffice, but I've never seen it implemented.