No problem, I can convert it to that format next time. Le lun. 13 juil. 2020 à 23:57, Karl Berry <karl at freefriends.org> a écrit : > > Well, my actual preference is 7-bit US ASCII with TeX control sequences > for anything English, but I know that's not really feasible for you. > I'll deal, one way or another.