Update the documentation.
Various fixes for the gitbook.