But fwiw, the new file API normalizes paths much more aggressively, so many of these problems will be harder to run into in the future :-)