suppress irrelevant markup for VSCode;

tuned colors;

avoid extra decorations for regular command keywords;

more compact protocol message;

default cygwin_root from Isabelle distribution;

prefer type equality;

restored surj as output abbreviation, amending 6af79184bef3

updated package;

prefer immutable bindings;

tuned;

tuned;

updated to vscode-languageclient 3.0;

more thorough build;

clarified versions;

tuned;

clarified;

incremental document changes;

proper treatment of line that becomes empty;

tuned;

clarified Document.offset: including final position; support Document.change according to VSCode;

suppress vacuous edits;

clarified native Text.Offset versus Text.Length index Int;

tuned;

tuned;

tuned messages;

tuned proofs;

clarified rendering;

tuned;