Several simple extensions that add some nifty features to Python