Re: [PATCH v2] doc: make timestamps in man pages reproducible