Elon Musk files an injunction to stop OpenAI from becoming a for-profit