That's probably a better option in any case as some apps can be erratic on a case-sensitive file system (or at least they were back when I last tried it around

That's probably a better option in any case as some apps can be erratic on a case-sensitive file system (or at least they were back when I last tried it around 10.2~10.3).