On Sun, 23 May 2021 12:50:21 +0200
Alejandro Colomar wrote:

quoted

On 5/22/21 6:17 PM, Štěpán Němec wrote:

quoted

With a single backslash, '\0' ended up as ' ' in the man output.

Patch applied.

D'oh, I forgot.  We use \e to specify the escape character (see commit 
message of d1a719857b7eb68f5e5c1c965089038dee683240).

Oh, I should have noticed the usage in the very same man page...

Thank you for the reference, too.

I dropped the patch and applied the following:

Thanks!

-- 
Štěpán