Indeed seems strange to micro optimize all that stuff without first fixing the obvious quadratic runtime part. By the way, is there no mutable string object (à

Indeed seems strange to micro optimize all that stuff without first fixing the obvious quadratic runtime part. By the way, is there no mutable string object (à la Java's StringBuilder/Buffer) in Python?