Re: [Python-ideas] Dump .pyo and the "optimize" flag