tuned;

prefer explicit progress channel;

trim more thoroughly, e.g. trailing \0 seen on some system;

isabelle build -N;

support for Non-Uniform Memory Access of separate CPU nodes;