Just added for 1.008:
** echo_list_of_connected_players
*** The server sends you a chat message listing all connected players (username and player number, same as displays if they chat).
*** This command does not require admin rights.
** echo_list_of_all_players
*** The server sends you a chat message listing all players (username and player number, same as displays if they chat), whether they are currently connected or not.
*** This command does not require admin rights.
Thanks