Why do we document the existence of LIB_MLTON_DIR at http://mlton.org/MLBasisPathMap It seems to me that it could be dropped.