[m-dev.] issues with installing libraries

[Zoltan Somogyi]

On Sat, 31 Aug 2024 02:32:10 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> While I was working (very part-time) on the just-posted DIFF.mli4,
> much of my time was spent trying to understand the issues below.
> I would like to ask you guys to think about them too, and see what answers,
> if any, you can give to the questions below.

Should I take the absence of replies to mean that noone has
answers to any of the listed questions? Or is someone intending
to reply at some point?

Zoltan.