This is probably best left on hold or canceled because there is no way to guarantee that the extension will close tags appropriately since the comment text is chopped up. Sure we could push output on a stack and pop the missing end tags, but that is a ball of wax.
Not only that, but the search operates on plain text and if a search happens to return comments with the keywords in tags, then it's best that the user sees this so they can click through appropriately.