Re: [Zope-dev] Small ZMI enhancement