User blog comment:MisterWoodhouse/Discussions search is now available/@comment-46896195-20201218162734/@comment-46775579-20201218162929

Definitely, it's good to see a useful feature