Sun Dec 8 17:06:13 UTC 2019 - diffoscope 133 produced no output and was killed after running into timeout after 120m...