Non-ASCII encoding (was: Re: proposed time zone package changes: Brazil; Mauritius; URL fixes)