Thu Apr 16 15:44:01 UTC 2020 - diffoscope 140 produced no output and was killed after running into timeout after 120m...