On Fri, May 12, 2023 at 12:32 PM Ihor Radchenko <yantar92@posteo.net> wrote:

Tim Visher <tim.visher@gmail.com> writes:

> I think this should likely involve an update to the manual but I don't want
> to bother doing that unless the basic approach is approved.

LGTM.

Sorry this took me forever to get to.

I've now created patches for updating the manual and NEWS file. Let me know how they look!