Curiously, the iOS filesystem is case-sensitive. A bit of a trap for developers on macOS. I’d expect plenty of third-party stuff to break switching the system drive to case-sensitive.