Issue #9458: clarify the documentation of ElementTree.write with regards to the type of the stream expected for a given encoding