Document 0.8.0 release.