Fri Jun 12 17:16:42 UTC 2020 - diffoscope 147 produced no output and was killed after running into timeout after 120m...