User blog comment:MisterWoodhouse/Discussions search is now available/@comment-3328029-20201218201635

Thank you! This was an issue whenever I wanted to check dev/community wiki for existing answers on how to solve an issue. Not to important to me elsewhere, but a good / appreciated change none the less!