Hooray! That did the trick. Can you explain why? The JPG
files had a *.jpg extension -- why would HTTrack incorrectly
guess their MIME types? Or was it some kind of server error?