Mon Aug 24 19:44:01 UTC 2020 - diffoscope 157 produced no output and was killed after running into timeout after 120m...