[m-rev.] for review: add a NEWS section 22.01.8

[Zoltan Somogyi]

On 2023-09-04 13:43 +10:00 AEST, "Julien Fischer" <jfischer at opturion.com> wrote:
> +* We have fixed a bug in the debugger where the output of the command `print *`
> +  could be written to an incorrect stream.

That is not a correct description of the details of the bug. 'print *' itself was not wrong;
the bug was in the implementation of a format, and 'print *' just happened to have
that format as its default.

The bug itself is sufficiently rare that I don't think fixing that detail would help;
we should just make things correct by deleting the detail entirely. I would propose

We have fixed a bug in the debugger, which, in some rare circumstances, could cause
it to print terms to the wrong stream.

The rest is fine.

Zoltan