Thank you kindly, Manoj Kumar Josh and C3roe.
I had located that license page when web searching, but without the note at the bottom of the other page, I didn't know it applied to user-submitted comments as well. It would be handy if the PHP license page directly mentioned user comments.
Cheers.