Improve convergence.md: too early for specifics, stay abstract
Minor improvements to cas.md; mention ipfs.io