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