[tz] Paul Eggert as new coordinator?

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. I'd appreciate reactions to Paul's offer; please respond within the next week. (I hope to have a new coordinator in place sooner rather than later.) --ado