automatically resolving open?

Hello,

this is one of the built-in transformations offered by the recently advertised `ocamlmig` tool:
https://github.com/v-gb/ocamlmig/blob/main/doc/using.md#removing-opens
However, it comes with caveats, including that "when identifiers are requalified, not all possible shadowings are taken into account" (and I've checked that indeed in François' example we end up with a `List.map` below the `module List = struct end`...)

Best regards,