bug#61325: 30.0.50; Jokes in GNUS manual

[Eli Zaretskii]

> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: Po Lu <luangruo@yahoo.com>,  yantar92@posteo.net,
>   dick.r.chiang@gmail.com,  61325@debbugs.gnu.org
> Date: Wed, 08 Feb 2023 09:11:07 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> Hi Eli,
> 
> >> Eli, how far are we from preventing this particular individual's replies
> >> from being recorded on the bug tracker?
> >
> > That's up to Michael, not me.
> 
> In general, I dislike such filtering. What about to ban him for the next
> 4 weeks, as warning and as cooling down?

When I said it's up to you, I meant completely up to you.  Whatever
you decide in this case, including doing nothing, is fine by me.  I
have no opinion on this in this case.

Thanks.