Pax Web Extender merged into Pax Web

After discussing it on our mailing lists we decided to merge Pax Web Extender into Pax Web.
Read some more on my blog as well as corresponding JIRA issue.