Tweak introduction in Python documentation