Hi.

gnus.texi is lying about the default value of
gnus-message-archive-group.  This fixes it: