clarified menu; avoid non-portable ALT-mouse combination;

clarified signature;

HTML preview based on PIDE markup;

explicit foreground color, for the sake of dark theme in VSCode;

tuned layout (amending 8040d2563593);

more official session qualifier;

clarified;

replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace

merged

clarified output;