On Fri, 28 Aug 2020 at 08:54, Stephen Frost <sfrost(at)snowman(dot)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.