Summary
- merged
- tuned;
- clarified signature;
- minor performance tuning: avoid redundant server access;
- tuned;
- clarified modules and options (from store);
- clarified signature;
- tuned;
- clarified signature;
- tuned signature;
- tuned;
- tuned signature;
- tuned;
- tuned;
- more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
- tuned messages;
- tuned;
- back to static numa_nodes (reverting part of c2c59de57df9);
- tuned messages;
- canonical time function for List.nth