[Zope] (newbie) manage_options?