wget https://graph-tool.skewed.de/static/performance/pgp.xml.gz
gzip -d pgp.xml.gz