In fact, most people try and distance themselves from Reddit as much as possible.

Most people I spoke to don't even know what Grok is, or that Twitter had (or needed) an AI.