"Mathtician," a regular user on the Polytope Discord, tried registering here but didn't get an activation email. He tried again and it said the username was taken, so clearly something worked, but he doesn't have access to the account.
Could some admin here activate the account, or advise us what to do in this situation?