clarified signature;

clarified term positions and markup: syntax = true means this is via concrete syntax; clarified text color rendering;

tuned signature: more operations;

tuned;

clarified signature: more explicit operations;

tuned;

tuned whitespace;

clarified signature and caching;

clarified GUI: prefer user documents, which are typically without chapter;

tuned;

obsolete;

tuned signature;

merged

NEWS;

clarified renaming of bounds, using Syntax_Trans.variant_bounds: avoid structures and fixed variables with syntax;

tuned signature;