Hi Michael, On Thu, 28 Jan 2021 21:50:23 +0100, "Michael Kerrisk (man-pages)" wrote: > Thanks for your patch revision. I've merged it, and have > done some light editing, but I still have a question: Does this need anything more? I don’t see it in the man-pages repo. Regards, Stephen