Strange numbers of provers running
I get \o542
\o226
and \o201
as number of scheduled/running provers (next to the commandline) in the ide. This can be reproduced by calling several provers at once (on a split for example). This looks like a regression.