Arnold wrote: > I am starting to collect, if possible, different versions of the QED > editor; with a hope to put up a git repo. Very good! Editors need preservation too. Anyone curious about Pratt's ZED aka DOC?