Summary
- sledgehammer pretty-printing: merge x(1) x(2) to x(1,2)
- tuned;
- tuned spelling;
- support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
- clarified signature;
- more general dirs for Sync.sync;
- tuned whitespace (amending beb4ee344c22);
- clarified signature (see also be0ab4b94c62 and c41791ad75c3);
- tuned;
- clarified signature;
- tuned names;
- proper SSH.System operation;
- clarified modules;
- more uniform/robust detect_repository/is_repository: actually check hg root;
- more uniform local/remote operations;