More additions to the documentation.