more explicit treatment of ranges after revert/convert, which may well distort the overall start/end positions;
more explicit treatment of ranges after revert/convert, which may well distort the overall start/end positions;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle