defextension can now really redefine existing extensions (I had been using...

defextension can now really redefine existing extensions (I had been using pushnew which has the logic for this sort of thing backwards)

darcs-hash:20080526135501-3cc5d-69a31954b0b10689ad518e796724ad4b34079470.gz