[Python-ideas] file API