Python docs say codecs.open doesn't do automatic \n conversion