follow on from previous question about javascript appearing

[George Cheyne]

I've been having a look at the code in prettydiff.js and on line 1644-6 i see the following:

return [
builder.head + builder.cssCore + builder.cssColor + builder.cssExtra + builder.body + builder.bodyColor + builder.title + auto + proctime() + "</div>" + apidiffout + builder.scriptOpen + builder.scriptBody + builder.scriptEnd + "</body></html>", ""
];

where auto was previously defined on line 525-693 as:
auto = function core__auto(a) {
...

which is exactly the javascript I'm seeing embedded in the top of my html output.

should this be in the output?

I'm not much of a javascript guy so I could be talking rubbish but thought I'd share.

Thanks,

George