Minor changes to Python dev guidelines.