Python utilities that Googlers have found useful.