On 30/05/2020 16:36, Philip Taylor wrote: > Peter Flynn wrote: [...] >> For [1] and [2] you will need to install an editor as well. There are >> dozens to choose from. > > No, Peter, no ! 1. TeX Live /incudes/ TeXworks, which as good a TeX > editor as one might reasonably want. My apologies. I didn't see this when I installed it for some reason. Peter