@hjalm Problem solved, I guess. Eventually I got a button for a restart.