Mon Aug 31 09:41:49 UTC 2020 - diffoscope 158 produced no output and was killed after running into timeout after 120m...