1. Yes, we should standardize.
2. This PR didn’t change the capitalization of that.
3. We can already build on case-sensitive filesystems, because we are specifying the path here with the case that is used on the filesystem.