User blog comment:MisterWoodhouse/Discussions search is now available/@comment-39544151-20210108194929/@comment-24006128-20210108201411

The banner is still on our to-do list for that feature.