Mention that Python 2.5-style string formatting still works in 3