Hugging Face's climate and AI lead created a tool ... OpenAI nearly blew up its $80 billion company. But was the issue its board was reportedly arguing over really the right one?