I re-ran WinHTTrack on the same site as before. It crashed, again, with the
same information as before in the crash file.