Got it, but not with HTTrack's help. wget was a more appropriate tool for this
job, winning out over HTTrack in critical technical aspects.  Sorry.