A goodbye, of sorts.

Hello fellow doc folks,

As some of you may know, I'm the (theoretical) editor of the PHP manual. An
ambiguous title because we all edit the manual so mostly it's a commitment
to spending consistent time worrying about the PHP documentation. It also
means performing tasks that few want to work on, finalizing tough decisions
and pushing them forward, staying positive, and gently guiding new folks
towards helping. Over time, I've been spending inconsistent to virtually no
time here so I'm stepping down from this role. Thank you for honoring me
with this title a little over 5 years ago!

I think several here qualify so good luck to whoever takes on this role,
and kudos to all of the fine folks who continue to spend so much time
improving the documentation.

Again, thank you for the fun ride, and see you around.

Warm regards,

Peter

P.S. If the above email seems familiar, it is an almost verbatim copy of
the goodbye email from our previous editor, Philip.  My words today echo
his from 5 years ago.