Change LDAP username from hacim -> micah
I've talked with @micahflee about my username causing confusion, and he has gracefully agreed to use @micahflee instead. He has already changed his username here on gitlab, and I was able to successfully claim @micah.
When it comes to LDAP, this is something I'll need help from the nice TPA folks to make happen.
Besides LDAP, are there other infrastructure where this would need to be changed?