Tue Aug 11 11:40:13 UTC 2020 - diffoscope 155 produced no output and was killed after running into timeout after 120m...