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)