documentation update

2 jobs for !152 with doc-update in 11 seconds (queued for 1 second)
latest merge request