option document_positions;

clarified file pattern;

ensure separation of TeX tokens;

simplified positions -- line is also human-readable in generated .tex file;

tuned message;

avoid excessive whitespace between antiquotations and text;

updated documentation;

more robust range on preceding comment-line; no range for blank lines; avoid recursive output_text/mark_range; clarified Latex.output_token (no range) vs. Thy_Output.present_token (with range);

proper file;

clarified file positions;