clarified;

default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing;

clarified init/exit vs. session phase;

clarify type vs. term instantiation when forming closure;

more accurate dependencies;

tuned;

clarified thread re-selection;

clarified tree row handling;

proper context (amending 7aad4be8a48e);

suppress threads without debug state;

clarified events; tuned signature;

clarified GUI event handling;

tuned signature;

tuned;

misc tuning and clarification;

print values for stack entry;

clarified output;

default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing;

clarified break *point* position;

support hyperlinks with optional focus change; no change of focus for debuffer position, to avoid visual glitches and keep panel active;

tuned;

vacuous input means continue, e.g. after exit;

GUI actions depend on active debugger;

init/exit depending on active debugger panels;