[m-rev.] for post-commit review: fix github issue #85

[Zoltan Somogyi]

For post-commit review by anyone. The code is mostly straightforward,
so I am most seeking feedback on the text of the warning, and on the
changes to the reference manual and NEWS.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.gh85
Type: application/octet-stream
Size: 2103 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200324/d3d369af/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.gh85
Type: application/octet-stream
Size: 17621 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200324/d3d369af/attachment-0001.obj>