[Geoserver-devel] Cutting pyramid plugin from the release

Soo,
in the end we're cutting the pyramid plugin from the release
Sad, but since the pyramid building tool keep on being broken
(then fixed, then re-broken) we can't expect anyone to build
the pyramids, and thus it does not make sense to ship a plug
to read them.

We'll ship pyramid as an extension, with instruction on how
to hack the tools from the source code for people willing
to spend time using/fixing them (and maybe writing unit
tests too, so they aren't going to get broken again and again).

Cheers
Andrea