On Fri, 28 Aug 2020 at 08:54, Stephen Frost <sfr...@snowman.net> wrote:
> > Yes, it's the latter. I'm not really sure about the documentation > change you're contemplating- have a specific suggestion? > Sorry, I was discussing this as if it was an abstract idea, not a concrete patch. I've just taken a look at the patch and I think the documentation in doc/src/sgml/user-manag.sgml is OK.