As I work on provenance, the amount of log output for that becomes larger. Two things are probably interesting wrt that: i) make logging of provenance stuff switchable to on/off ii) move the provenance related log information to a separate file Comments. --