Sent from my iPhone > On Jul 11, 2019, at 1:24 PM, Nico Williams <nico@xxxxxxxxxxxxxxxx> wrote: > >> On Thu, Jul 11, 2019 at 09:41:09AM -0400, Phillip Hallam-Baker wrote: >> But the bigger point here surely, is that this thread is now an editor war. > > Sigh. That was not my intention, but the opposite. My point was/is > that the choice of $EDITOR shouldn't matter, and that our choice of XML > as the canonical or submission format should not -and DO NOT- preclude > $EDITORs that hide the XML from the user. Actually the one thing that xml seems like it might be a decent choice for, is a stable back end interface that could accept input from a variety of editors and text processors and allow RFCs and I-Ds to be handled by a common toolset. Except that it’s not stable. (It’s not a particularly good interface for that purpose, but it doesn’t have to be - the main requirements are that it be adequate and stable.) Keith
