Yes, I did that (used gunzip), it gave the error I noted. Could you post the xml file itself in a reply here? thanks.

On Thursday, October 24, 2013 10:07:10 AM UTC-7, Tiago Peixoto wrote:

On 10/24/2013 06:41 PM, Carlos Carroll wrote:
> Thanks for fixing the link. I can now download the 12MB file, but still can't load it in graph-tool (after extracting to pgp.xml):
> Also, it doesn't appear to be in xml, but rather a binary file.

It is a _gzipped_ xml file... Either save it as .xml.gz or unzip it,
before trying to load it.

Cheers,
Tiago

--
Tiago de Paula Peixoto <ti...@skewed.de>