У некоторых пользователей нет ни юзернейма нормального, по которому можно найти через @, ни имени фамилии и пр.
А вообще вся информация об отправителе лежит в message.from_user
message.from_user.id - id пользователя, собственно то, что возвращает пример из гитхаба
message.from_user.first_name - Имя
message.from_user.last_name - Фамилия
message.from_user.username - юзернейм
Возможно этих полей и не будет в ответах от тех пользователей, у кого они не заполнены.
Но это все очень доступно описано в документации.