Thank you for the details! Clearly, there is much to be done, and few hands to do it. What I’m driving at is, would there be interest in landing an interim solution that relies on compiler-opam coordination, but should be much easier to roll out, while we wait for David’s work to land and fix the issue in a nice and clean way?
Edit: actually before that, would my suggestion actually fix the issue (albeit clumsily)?