Let's remove the word "HTML" from the Filtered HTML format name. Since you can't enter HTML here anymore, having a format name that indicates that you can is confusing.
I'm proposing we change the name of this format to "Basic".
Related issue: [UX] Change the name of the "Full HTML" text format to "Raw HTML" - https://github.com/backdrop/backdrop-issues/issues/4499 - EDIT [This related issue in done and merged into core]
Recent comments
There is also Node Comments Search - this searches the node and all comments (default search is node and first page of comments) as part of the content search. Izzy's module above is a separate...
Search does not include comments
I have created a new module comment_search
Search does not include comments
If there is no response, alternatively, you can use a View with a list of comments, with a filter based on the comment text. I haven't tried it myself, I just got an idea.
Search does not include comments