Re: wget log from Jigdo

[Steve Matzura]

Now everything's fixed, up, running, etc., it's quite time to thank
everyone who made suggestions, at least 99% of which were helpful in
some way, if not directly, then indirectly by putting my mind onto a
different thinking path.