Merge branch 'dev' into 'main'

Dev

See merge request !192
12 jobs for v1.4.1-pre-release in 4 minutes and 49 seconds (queued for 3 minutes and 20 seconds)
latest