If you look toward the bottom of the page, inside javascript code, you
will see approx:

<script>
<!--//
// Comment
//  Use it like this:
//  <script language="javascript"></script>
// other comments.

  Or somesuch. The <script> in the comment seems to make the tokenizer
think we are starting a script. It should probably be ignored.

   - Mike