Adjust description of the internationalized domain name encoding to

better accomodate the GNU info conversion.

Doc/whatsnew/whatsnew23.tex

@@ -1835,7 +1835,7 @@ to convert between a Unicode domain name and the ASCII-compatible
 encoding (ACE) of that name.
 
 \begin{alltt}
->{}>{}> u"www.Alliancefran\c{c}aise.nu".encode("idna")
+>{}>{}> u"www.Alliancefran\c caise.nu".encode("idna")
 'www.xn--alliancefranaise-npb.nu'
 \end{alltt}