Eli Zaretskii wrote:

 > > From: Pieter van Oostrum <pieter@vanoostrum.org>
 > > Date: Fri, 29 Nov 2019 18:24:07 +0100
 > > Cc: psainty@orcon.net.nz, 38407@debbugs.gnu.org
 > > 
 > > Yes, I mean no difference. I started it late in the evening, and the next morning it was still running. 
 > 
 > Then I think we must see that file, there's probably some other factor
 > at work here.
 
Here it is, compressed. I am loading the uncompressed file, of course.