That would definitely be great (that being a MLton encyclopedia with all
entries in alphabetical order by wiki page title).
I also really like the idea of having the online documentation (and maybe
hard copy as well) which lists when things were added to MLton. This not
only makes it so that you can use it with older versions of MLton, it also
serves as incentive to upgrade to the latest one.