[Python-checkins] devguide: Tweak the last commit.