[Python-ideas] "Escape hatch" for preferred encoding (default encoding for `open`)