[m-rev.] for post-commit review: propose a new structure for options.m

[Zoltan Somogyi]

On Wed, 04 Jun 2025 12:38:48 +1000 (AEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:

> I am committing this diff before review because most changes
> are to comments, and the ones that are to code are not visible
> from outside the module. However, I would like to get a review
> before I start acting on the proposals.

In the absence of either a review or a promise of one by then,
I will start to implement this proposal around 5pm.

Zoltan.