add documentation

3 jobs for !15 with add_documentation in 1 minute and 11 seconds (queued for 3 seconds)
latest merge request