ludo> the intent is to make UTF-8 more natural, rather than a second
choice when âthereâs a good reason to do [it].â
Sorry, I think it *should* be a (distant) second choice. The
assumption that all the world is UTF-8 is simply not valid, in my
experience. Both personally and with people I know.
How about a change like follows?
***************
*** 3200,3207 ****
names of contributors in change logs (@pxref{Change Logs}).
If you need to use non-ASCII characters, you should normally stick
! with one encoding, certainly within a single file. UTF-8 is likely to
! be the best choice.
@node Quote Characters
--- 3200,3207 ----
names of contributors in change logs (@pxref{Change Logs}).
If you need to use non-ASCII characters, you should normally stick
! with one encoding, certainly within a single file. UTF-8 is the best
! and prefered choice.
@node Quote Characters
