Mon May 4 19:16:51 UTC 2020 - diffoscope 143 produced no output and was killed after running into timeout after 120m...