Special characters

2023-09-21 Thread H.Merijn Brand
quot; and probably many more insane unwanted "intelligent" replacements. I want an environment and not an option, because I personally do not want these translations ever (unless I do, and then an option would be appropriate). Sorry if I sound harsh, but this change already cost me

Re: Special characters

2023-09-21 Thread H.Merijn Brand
ce code and install that > > over the system package of 1.23, which just brings me hate. > > That would be sad, seeing as 1.23 has so many improvements in its > documentation that make it easier for the reader to grasp good > practice. Documentation++ On Thu, 21 Sep

Re: Special characters

2023-09-22 Thread H.Merijn Brand
On Fri, 22 Sep 2023 02:46:34 -0500, "G. Branden Robinson" wrote: > Hi Merijn, Shorted reply. Might expand on this later > At 2023-09-22T08:43:37+0200, H.Merijn Brand via wrote: > > On Thu, 21 Sep 2023 18:51:42 +, Lennart Jablonka > > wrote: > [..