@Bjarke Berg's thread on how to set case sensitivity of windows folders is a gold mine for this https://twitter.com/BjarkeBerg/status/1440373542797787136?s=19