Update docs for Dashi 1.4.2 release.