Lol. They obviously do. For instance: how many people here had to change the name of their master git branch to “main”?