(2020-05-28, 16:37)N. W. Perry Wrote: But why would it have to be manual editing? There's nothing about this idea that says it has to be; I'm always assuming that editing programs would (continue to) provide a good user interface to the underlying commands.
By manual I meant "requiring human intervention", not "requiring to edit text file without visual editor". Suppose you have a FLOAT with n=3. Then you insert a step after this one. Now the part unfloats in the step previous to the original one. And it needs a human to correct that.
I can't think how a good editor would help here (but maybe it could! would you offer an explanation?
