regrettably, i do not recall this. as far as i could guess,i simply went with a short name and most likely e stood for editor. > On Dec 11, 2022, at 9:40 AM, Ralph Corderoy <ralph at inputplus.co.uk> wrote: > > Hi andrew, > >> i wrote ef. > > Was its name from ed → ee → ef or something else? > > -- > Cheers, Ralph.