Edit: Almost done. I just wanted to see what LLM's might think of it. So wanted to see them (go wild?) [ie. without my bias of algolia api because I was (thinking?) of other ways too also a better thing was that I was procastinating with the implementation a bit] so pasted it.

It* decided that a better response was to lowercase the username fields and then lowercase the input.

I think I had overarchitected a solution and in hindsight, I thought that the idea of lowercasing usernames would've been slow but clickhouse is a beast too.

I think I was almost thinking the same thing too. Going to update the website with case sensitivity pretty quick.