Proposal: Use time rather than old-time in directory

[Yitzchak Gale]

Edward Kmett wrote:
> +1 to both for me as well, though I'd be more comfortable if
> the orphans could be fixed.

Oh, yes, also +1 for fixing the orphan instances in the
time library. Please.

Thanks,
Yitz