[Python-ideas] Re: Changing the default text encoding of pathlib