>>>>> Daniel Semyonov writes:

    > I pushed a few more commits (an updated patch is attached) which fix
    > some edge cases with ephemeral groups and simplify some functions.

And a few more which fix a typo which caused duplicate groups being
created after renaming a group and relaunching Gnus, and fix the "Web
Feed Back Ends" subsection in the Gnus manual by making it a
subsubsection.  Updated patch attached.

Daniel