Seems solved by using the manual proxy configuration in Firefox, according to
recommended setting in HTTrack ("Get URL" dialog box).