Thanks!A few people have already pointed out that a restart button is missing. I will definitely try to think more about these kind of features next time.