[MLton] page-heap or may-page-heap?

[Wesley W. Terpstra]

The documentation and error messages refer to the @MLton option
may-page-heap.  However, the actual runtime accepts 'page-heap' not
may-page-heap. Which is intended?