Tue Jul  7 12:04:03 UTC 2020 - diffoscope 150 produced no output and was killed after running into timeout after 120m...