"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, bu

"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.