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.
