@aral Reminds me of that time an MacBook owner wanted to pull from git but only could pull half because the directories had the same filename, once starting with a capital and once without. Had to pull from Linux and remove the double names and push everything again to clean that mess up. 🤷