add documentation

3 jobs for !8 with add_documentation in 55 seconds (queued for 3 seconds)
latest merge request