[MLton-user] Unsafe mode? Incantation to disablle array bounds checks.

[Florian Weimer]

* Matthew Fluet:

> The "search" box on the mlton.org website does a google search, but
> limits it to the mlton.org domain, which includes all the mailing list
> archives. That can be useful.

For some bizarre reason, Google does not index the Wiki pages.  Perhaps
due to this line in most of the generated HTML:

  <meta name="robots" content="index,nofollow">

"nofollow" neans that the spider does not traverse the whole site.