Minor bugfixes I had on my machine from a little while ago, figure I'd put them up as a PR. The human play scripts had some issues like the default argument for level name being invalid, so I added choices which lists all the levels so it makes things easier.
Minor bugfixes I had on my machine from a little while ago, figure I'd put them up as a PR. The human play scripts had some issues like the default argument for level name being invalid, so I added
choiceswhich lists all the levels so it makes things easier.