[m-rev.] diff: print out optdb-based help text

[Zoltan Somogyi]

There is no point in reviewing this; better to wait until the whole thing
is done.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.ph1
Type: application/octet-stream
Size: 663 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250619/9a49f0d4/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.ph1
Type: application/octet-stream
Size: 103929 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250619/9a49f0d4/attachment-0003.obj>