User blog comment:MisterWoodhouse/Discussions search is now available/@comment-10637-20201218145434/@comment-24006128-20201218150630

As you well know, Discussions doesn't get wiki markup, as it's not MediaWiki based.