tuned -- see Text.Range.overlaps(Range);

tuned

tuned;

merged

tuned -- avoid code duplication;

tuned;

more frugal merge of markup trees: restrict to expected range before checking trivial cases, e.g. relevant for sporadic warnings (eval_exec) within big ML reports (print_exec);

back to cumulative treatment of command status, which is important for total accounting (amending 8201790fdeb9);

tuned;

redirect ML_Compiler reports more directly: only the (big) parse tree report is deferred via Execution.print (NB: this does not work for asynchronous "diag" commands); more explicit ML_Compiler.flags;