There is not, though we have some ideas about how to solve it
Strictly speaking in LDAP it's not guaranteed that example123 and Example123 are the same user (some LDAP attributes are case sensitive but others are not). For safety we assume they're a different user, but would like to make that configurable.