Encoding IPythonStreamWriter.Encoding { get; }