Re: [Python-ideas] allow overriding files used for the input builtin