@Paul should we suggest to iso-testers that they retry opening the terminal a few times, including a reboot, before certifying that the problem is not there?
@Paul should we suggest to iso-testers that they retry opening the terminal a few times, including a reboot, before certifying that the problem is not there?