Re: [Python-ideas] Small improvements to the profile/cProfile API