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?