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.