Mon Aug 3 23:35:58 UTC 2020 - diffoscope 154 produced no output and was killed after running into timeout after 120m...