Folding user IDs to lowercase

I’m trying Open OnDemand out, and am running into a problem after logging in.
The issue is that in Linux the user ID is folded to lowercase, while the LDAP authentication source includes uppercase characters.
i.e., dodgec on the host is DodgeC in LDAP.
Is there a way to configure ondemand-dex to do a case-insensitive comparison? I see references to a user_map_match command, but I’m not well-versed enough in Lua pattern matching to create the proper incantation.

Hi and welcome!

I saw the deleted post that seemed to indicate you’d fixed this issue. Do you still need assistance?