change hellais username to art, or make an alias

Turns out Arturo wanted to be an art all along. I screwed up in picking the username for him.

If we can rename, great. If we can't, let's make an alias.

Thanks!