In other words, I think we agree: yes, we still want the local reference to `Date` that this commit removed.