Ex-OpenAI employee amici leave to file denied in Musk v OpenAI case? — LessWrong