Re: avoid unicode in the document? Arthur A. Gleckler 30 Aug 2020 18:34 UTC