So, assuming unlimited developer time, you would want Scribe to correct this?
I'm just trying to get a feel of Scribe's scope... Does it want to fix all inconsistencies, even pure UI irritants, or is it mostly about ensuring correct content?
I'm tempted to write a plugin that "types" space-delete after every CR. That's the quickest and nastiest fix I can think of...