Musk is extremely awful, but OpenAI becoming for-profit is, in fact, a bad thing.