You're not wrong - objectively, main is an equally good or perhaps even very slightly better name than master. But it's like making a tiny change that requires a huge refactoring - in this case, literally millions of developers were involved, not to mention the countless hours of discussion which are still ongoing years later, as you can see from this thread. Was it worth it?