Merge branch 'release' into 'main'

Release

See merge request !15
8 jobs for main in 2 minutes and 6 seconds (queued for 3 seconds)