No, the names are correct. OpenAI has quite a few SWEs who spend a lot of time advocating for positions on social media.