Thu Jul 30 22:36:07 UTC 2020 - diffoscope 153 produced no output and was killed after running into timeout after 120m...