Merge branch 'development/doc' into 'master'

Update documentation

See merge request !101
7 jobs for 0.1 in 19 minutes and 21 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #98805
distcheck-linux-clang10-debug

00:15:48

passed #98806
distcheck-linux-gcc10-debug

00:19:20

passed #98804
distcheck-linux-gcc9-debug-asan-ubsan

00:14:49

passed #98803
distcheck-linux-gcc9-release

00:11:04

passed #98807
documentation

00:04:20

manual #98802
windows allowed to fail manual
windows-debug
 
  Bench
manual #98808
pylene-benchmarks allowed to fail manual
distbench-linux-gcc9-release