That was in reference to Discord, not Reddit. Reddit is searchable ~fine via Google and its internal search (but I wouldn’t be surprised if they at some point break that in exchange for more forced signups and to prevent “AI content theft” like Twitter).