How did Alex Harvey get their name?

Sorry, we don't know how Alex Harvey got their name.