&gt; Does anyone have a file listing for this? Is it just a PGDATA dump, or are there more interesting things?<p><a href="http:&#x2F;&#x2F;pastebin.com&#x2F;CZXikytZ" rel="nofollow">http:&#x2F;&#x2F;pastebin.com&#x2F;CZXikytZ</a>