Re: Proposal: new version of getModificationTime