It’s official.

Let’s see if it gets into official php code someday. For now I’ll stick with supervisord