Re: [Zope-dev] ZMI tweak