Add docs for 0.9.13