User blog comment:MisterWoodhouse/Discussions search is now available/@comment-9605025-20201218155537

Very nice! At least at first glance. I haven't investigated the new feature in detail yet.