Otherwise the default prover might be incorrectly shown to the user. For
example, if the user never set a default prover, the interface shows that
Alt-Ergo (or whatever comes first) is the default prover, while nothing
happens when pressing 'p'.