[Zope-dev] Problem with new Banner System (and workaround