Hi Nicolas,
It would be convenient that, by default or with appropriate options,
PDFTeX produces reproducible results from given input files.
Agreed in principle. It will take some time to consider the options.
I'll talk with Thanh about it. Thanks for the ideas and patch. --karl