Many additions to the documentation