Merge branch 'feature/update_doc' into 'master'

Feature/update doc

See merge request !216
4 jobs for master in 64 minutes and 2 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
passed #21268
dune-2.6

00:24:10

passed #21269
dune-2.7

00:31:51

passed #21270
dune-git

00:31:10

passed #21271
dune-git-full

00:39:49