Do you even need to search the HTML? Just a generic find of the browser's search will reveal the same info. Not sure why you'd need to go to that trouble.
at the time I read this and replied, your comment was top of the stack. without reading the full comments, i'm already reading your comment as someone that's got their knickers in a twist rather than reading a substantive comment. so hopefully that's what you wanted?
New comments start out at the top and sink within a few minutes, only a select few will have that problem.
Ctrl+f gives false positives for name mentions, and searching the html is just as easy. Benefits of having spent so much time dealing with css style/class related bugs, I guess.
at the time I read this and replied, your comment was top of the stack. without reading the full comments, i'm already reading your comment as someone that's got their knickers in a twist rather than reading a substantive comment. so hopefully that's what you wanted?