clarified component structure, concerning initialization order;

update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;

provide cvc5-1.0.2 (inactive);

tuned output;

tool to build Isabelle component for cvc5;

tuned: avoid odd stateful programming;

more markup (for batch build);

tuned;

tuned;

tuned;

more NEWS;

updated some links;

more links, for files that formally belong to this session;

more links;

tuned antiquotations;

ZF belongs to chapter FOL, following lib/html/library_index_content.template (i.e. "Documentation" area on website);

include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);

proper chapter_definition to prevent odd definitions by users;

tuned;

tuned signature;

proper order;

tuned whitespace for presentation;

clarified signature of Sessions.Session: chapter_defs: vs. known_chapters (in declaration order) vs. chapters (covered by visible sessions); clarified browser_info root index: preserve declaration order as much as possible;

clarified syntax: more uniform;

more robust, more strict;

tuned signature;

tuned;

tuned output;

merged

clarified chapters: de-emphasize minor examples;