> Maybe by analogy with target-map, we should provide > $lib/path-map > and optionally support > .mlton/path-map Sounds good. (There might be a better name than path-map, like mlb-path-map).