Thanks for the report! I'll get 'em fixed.
As an aside, macOS' default is non-case-sensitive, but it gives you the option of choosing a case-sensitive filesystem. All the advice I read on the subject said "Don't choose case-sensitive unless you have a specific need for it." I'm now beginning to understand why lol.
Thank you for scrubbing through the JSON to find 'em! That makes them really easy to fix :D