removed pointless GUI controls for ML_statistics --- no longer part of prover protocol (see also 38a64cc17403);