String manipulation related chapter from the python tutorial.