[m-rev.] for post-commit review: don't print some ambiguities by default

[Julien Fischer]

On Tue, 5 Jul 2022, Zoltan Somogyi wrote:

> For review by anyone. One question I have is: given
> that the mdb command being modified is intended
> for Mercury developers, should this change be mentioned
> in NEWS?

mdb commands in the "Developer commands" section do not need to be
mentioned in the NEWS file.

That said, based on the sort of renaming you have been doing recently
(and that I assume you are using the ambiguity command for), isn't that
commmand generally useful, not just to Mercury developers?

Julien.