Branch force pushed by herve001 at 2025-11-14T02:11:07+00:00, 3447145-case-sensitive-fix moved from this tag to 2f7f16ea5c8fa00be5b4f422d4175e626d9cffad