tuned error;

tuned messages (again);

tuned: prefer explicit types;

support for Host.dirs;

tuned message: failure can happen towards the end, e.g. due to failed sessions or progress.stopped;

support multiple host names;

clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock;

avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer

tuned message;

tuned;

more accurate treatment of state vs. serial vs. db;

more explicit check;

proper numa_nodes for build_worker;

tuned message;

tuned;

tuned signature;

support hosts with shared directory (e.g. NFS);

tuned message: failure may stem from build_cluster init;

proper sync_database for receive timeout;

clarified source structure;

tuned whitespace;

clarified command-line tools;

tuned output;

clarified signature;