more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;

proper file headers;

added count_list lemmas

tuned message;

more compact result;

prepare patched version more thoroughly, with explicit patches;

tuned signature;

recover platform-specific node binaries from original download, notably for node-pty for Terminal;

tuned message;

tuned;