12 Dec
2022
12 Dec
'22
12:38 p.m.
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(a)inputplus.co.uk> wrote:
Hi andrew,
i wrote ef.
Was its name from ed → ee → ef or something else?
--
Cheers, Ralph.