Nicolas Goaziou writes:

> Looks good. @pxref after a comma was fine, too.

Ok.

> Would it make sense to recall the need to close the thread by answering
> to <mailto:done-NNN@debbugs.gnu.org>? This information is surprisingly
> hard to find.

Yes, I think so.  Added as a second patch, how is this?

Greeting,
janneke