Noticed by the test suite in https://jenkins.tails.boum.org/job/test_Tails_ISO_20269-test-suite-robust-terminal-pasting/1//cucumber-html-reports/overview-failures.html