Reiner Steib <reinersteib+gmane@imap.cc> writes:

> Applied.  Thanks.

Thanks.

> Could you also provide a patch for texi/gnus.texi or isn't it
> necessary to mention arXiv there?

Good idea.  Patch below.  If it would make sense to provide a URL, the
right one is http://www.arxiv.org.

Dan