Как конечного пользователя тебя не интересуют файлы. Это технические детали.
Как пользователя-программиста меня тоже мало интересует регистронезависимость. В повседневных задачах она не приносит существенной выгоды. Можно конечно придумать кучу аргументов за, но они будут абсолютно высосанными из пальца и крайне ситуативными. Обратные аргументы не менее нелепы.
Опять таки, в повседневных задачах нет необходимости привязываться к регистрозависимости или регистронезависимости имён файлов. Если ты всё-таки к этому привязываешься, то у тебя конечно будет "вендорлок", с которым нужно будет воевать. Но необходимости в этом я не вижу.
Ну лично мое мнение, такое неявное равенство бинарно неравных путей как-то не очень.
Тебе, чтобы убедиться, что два пути указывают на один файл уже недостаточно обычного сравнения.