[Zope] Re: Changing the default doc from index_html to index.html