User blog comment:MisterWoodhouse/Discussions search is now available/@comment-38786604-20201218140258

I've always wanted this feature. Nice to finally have it.