[tz] Paul Eggert as new coordinator?

[Kevin Kenny]

On 03/26/2012 10:50 PM, Arthur David Olson wrote:
> I've been in touch with Paul Eggert;
> Paul is willing to serve as time zone coordinator.
> Paul has been part of the time zone community since the early 1990s;
> folks can read the database files to see the depth of Paul's involvement.

Yes!
(Didn't he step forward as coordinator during ADO's enforced hiatus?)