bug#63497: [PATCH] Remove obsolete information on archiving mail from Gnus manual

[Eli Zaretskii <eliz@gnu.org>]

> From: Andrew Cohen <cohen@bu.edu>
> Cc: Jens Schmidt <jschmidt4gnu@vodafonemail.de>,  Andrew G Cohen
>  <cohen@andy.bu.edu>,  63497@debbugs.gnu.org
> Date: Fri, 19 May 2023 08:39:13 +0800
> 
> 
> [...]
> 
> >> The Gnus manual still references these external marks in section
>     >> "Archiving Mails", I guess that reference just got overlooked.
>     >> But without external marks, archiving mails in Gnus is rather
>     >> difficult (to my knowledge), at least for the nnml backend.  So I
>     >> decided to rather remove that section entirely.
> 
>     EZ> Andrew, should these parts be removed, indeed?
> 
> Yes, I think it should be removed.  As Jens says, the purpose of this section was to
> indicate that group marks are stored in the filesystem for these
> backends, so saving these marks doesn't require doing anything other
> than copying the files. But the marks are no longer stored in the
> filesystem, so the whole section is moot.  (As an irrelevant aside, for
> some strange reason its under the "Browsing the Web" topic, which is why
> I have never looked at it)

OK, thanks.

Jens, would you please rework the patch according to my comments, and
re-post?