---
Distribution of the work or derivative of the work in any standard
(paper) book form is prohibited unless prior permission is obtained from
the copyright holder.
----
Fedora's policy probably does broadly align with the FSF's views, but
that's not because we slavishly follow them, but because the Fedora
community has similar goals in creating a genuinely Free distribution
and promoting Free software. I don't want to get political about this
though, because like most Fedora contributors (in my experience), I'm
not interested in preaching at people.
I suppose what it boils down to is this: do the PHP doc team feel
strongly that the above clauses are important and necessary? If so, then
they (you) are of course fully entitled to that, so we'll stop
distributing the PHP manual and happily go our separate ways. However,
if you were to take the view that having already developed substantially
free documentation for a Free programming language, that the (extensive)
protections in the "base" OPL are sufficient to feel that you are
getting adequate credit/acknowledgement/etc. for your work, then this
would enable a broader set of users to take advantage of it in various ways.
The point is not about getting credit, but not wanting to have full books that are a ipsis verbis copy from the PHP manual (as it happened in the past). That was the main reason behind the decision for the OPL license.
Anyway you are still allowed to distribute the PHP manual with Fedora (not that I care)..
Nuno