documentation patches

[Erel Segal]

I began reading the PHP source code, and while trying to understand it, I
made some changes and additions to the internal documentation. Is it
worthwhile to submit these changes as patches, to help other newbies like
me?