more statistics;

proper base_thys;

more thorough context tracing;

proper check;

proper symbolic hostname, as provided via Build_Cluster.Host;

unused;

clarified signature: Build_Cluster.Session.build_context; proper implementation of Build_Cluster.Session.start() based on Build.build_worker_command();

clarified exception handling and return_code;

tuned signature: more operations;

more robust;

support for Build_Cluster.Session.init (rsync + Admin/init); clarified Build.Results and overall return code;

prefer Process_Result.RC.merge: strict treatment of interrupt;

clarified signature: more operations;

proper afp_root;

clarified signature: more "object-oriented" style;

more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;

clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster;

tuned signature;

tuned signature; more operations;

clarified option (see also b66b6cc1eb8c);

more build_cluster management: open SSH connections in parallel, but synchronously;

tuned signature: more options;

clarified signature: more operations;

tuned signature;

more accurate print vs. parse;

clarified signature; tuned output;

clarified signature (again); more explicit "local" name;

tuned output;