Split up and rename yet other Player fields
Replace local screenshot with a link, due to Hackage bugs
Don't create dirs nor savefiles in --benchmark mode, for Nixpkgs
Define a datatype for leader control mode
Use the datatype for leader control mode
Catch illegal leader change in server, too
Implement the 'follow-the-leader' AI
Specify monster spawn rate per-cave
Rename the random campaign cave group
Let only humans leave smell for now, again