Re: [Python-ideas] Small enhancement to os.path.splitext