config issue when changing the editor for a prover
When changing the editor of a prover, say for example replacing the editor "AltGrErgo" for "Alt-Ergo" with the default editor, then the saved configuration is not appropriate. Essentially, a section
[prover]
editor = ""
name = "Alt-Ergo"
version = "2.4.1"
is added. It should probably be a partial_prover
section