User blog comment:MisterWoodhouse/Discussions search is now available/@comment-26276084-20201221073019

Very good and thanks for reporting.