Re: Proposal: Use time rather than old-time in directory