In 2018 Tumblr had more users (over 60M monthly) than Grok today (30M monthly). And Verizon, the owner, is/was larger than Grok’s owner: xAI.