Previously, the Proprietary Relicensing section stated that sections 4
through 11 would not apply upon trigger. However, there seems to be no
reason to state that section 11 won't apply (since the resulting
permissive licene is (A)GPL-compatible anyway). As for section 10, I
can see how some might criticize the elimination of the patent peace
provision merely because the Proprietary Relicensing provision has
been activated.