On 12/28/25 23:38, G. Branden Robinson wrote:
Good catch! I apologize for the error.
No worries. It's been quite some numerous changes, so issues like that easily sneak in. I compared the resulting man output as one review step, and by that this one was easy to find. :-) Have a nice day, Berny
