That's right. Quite ironic indeed!

I wanted to look for those names that have escaped the dichotomial tradition and have not fallen into one normative gender in practice.

It shows the contigency of it since it proves that gender-neutral names exist and also, perhaps only as a curiosity, which names would be the hardest to assume their gender.