This patch clarifies the reporting of time spent generating data. A
simple arithmetic mean of the percentage of time spent can be
misleading; reporting the actual time spent avoids misunderstandings.
Thanks to Andrea Reina for reporting and fixing issue #3598!
The canonical version of these notes (with links) is on readthedocs.