No effective difference.

The page source now has this addition (in bold):

    <!--
    
    <script></script>

    -->
[download]

<script language="JavaScript">
<!--

function SymError()
{
  return true;
}

window.onerror = SymError;

//-->
</script>
[download]

Thanks for your help.