Merge branch 'schleuder-4.0.1' into 'main'

Add docs about Schleuder 4.0.1

See merge request !108
2 jobs for main in 44 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #201924

00:00:14

 
  Deploy
passed deploy #201925

00:00:30