Doc.
Support for mli files in dumpast.