Thread:Digi/@comment-35229063-20180806161021/@comment-137223-20180806161530

Personally, I'd prefer the short names, as otherwise, that's like saying "Andros the Red Ranger", but perhaps we should see about the other admins as well.