Hi all, is there any point in keeping --ignore-case-check as option? I think we can just remove the check as most things are supposed to work fine on case-insensitive filesystems. Comments? Joerg