[m-rev.] for post-commit review: clarify time.m comments

[Julien Fischer]

On Fri, 17 Sep 2021, Zoltan Somogyi wrote:

> For review by Julien.

I've committed a small change to remove a doubled-up word.
The diff is fine otherwise.

Julien.