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