In that case, as has been the case in other large discord servers I've been a part of, those are actually bots