Remove the obsolete bot config file
Fix the std frontend
Fix running in dead ends
Fix other factions puzzled by opening a door hidden from them
Prepare a surprise on level 3 of campaign scenario
Give players more informative names
Give feedback for the display toggle commands
Bound the number of levels to ascend in target mode
Fix the curses frontend