Updated extensions/python.el (24.2)