Adding a file patch so I can load this into the Commitfest.
On Tue, Dec 31, 2024 at 1:49 PM David G. Johnston <
david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
> Thoughts? Anyone?
>
> On Sat, Oct 19, 2024 at 1:11 PM David G. Johnston <
> david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
>
>> Hey!
>>
>> Motivated by recent user complaints regarding our documentation of
>> behavior in this area I propose the following to shore things up a bit.
>>
>>