There are some more three-character user names if you count dashes and digits, which are also allowed in GitHub usernames. Although I think the first one has to be a letter of the alphabet.