GitLab

Filename fixes for case-sensitive environments, and #include name normalisation. No functional changes.  I didn't have a good universal fix for the EditIntern includes, so the revised ones are commented out.

Version 1.64. Not tagged