> centralize documentation of the PHP internals I'm glad to hear that you're planning to centralize the documentation for PHP internals.
> Let me know of any thoughts and suggestions you might have. I have a preference for devel-docs/ instead of docs/ . This would make the doc-en repository a PHP subproject.