this PDF: <a href="http:&#x2F;&#x2F;filecoin.io&#x2F;filecoin.pdf" rel="nofollow">http:&#x2F;&#x2F;filecoin.io&#x2F;filecoin.pdf</a> ? <a href="http:&#x2F;&#x2F;ipfs.io" rel="nofollow">http:&#x2F;&#x2F;ipfs.io</a> appears to be under heavy load...