[m-rev.] for review: add --mono-path-directory option

[Zoltan Somogyi]

On Tue, 22 Jul 2025 22:06:14 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> For review by anyone.

I know next-to-nothing about mono, but that seems fine.

Zoltan.