Musk’s trade secret case against OpenAI is dead, and this time it’s permanent