[Python-Dev] __str__ vs. __unicode__