Save known players: Done

The list of known players can now be saved.