[Zope-dev] requestprofiler.py output width