Mon Oct 19 11:33:17 UTC 2020 - diffoscope 160 produced no output and was killed after running into timeout after 120m...