version 0.9.13, doc updates