[m-rev.] diff: move internal and developer options to the end

[Zoltan Somogyi]

This should not need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.op13
Type: application/octet-stream
Size: 723 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250615/5d169963/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.op13
Type: application/octet-stream
Size: 82544 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250615/5d169963/attachment-0003.obj>