Thread:NoGround/@comment-32941010-20191006194648

Shouldn't Admins be renamed to Administrators because the latter name is a more official one? A redirect from Admins from Administrators can be kept. 