> but it would be better if httrack didn't mangle that
> bit of .js code.

This is because of the aggressive (and a bit dumb) javascript parser. You can
disable this behavior by unchecking the "attempt to detect all links" option
(Set options / Links)