Lol, did roon delete his "you can tell OpenAI is the only company that takes AGI seriously by their incorporation documents" tweet from 1-2 weeks ago? I can't find it