Re: [Python-Dev] how about adding ping's uuid module to the standard lib ?