On Sun, 23 May 2021 12:50:21 +0200 Alejandro Colomar wrote: >> On 5/22/21 6:17 PM, Štěpán Němec wrote: >>> 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