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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information