It is possible to search for a player in the player lists on the server.

 

Note: This only works if the player list has been sorted alphabetically.

 

The search is carried out by typing the first letters of the player’s name on the keyboard.