Merge branch 'dev' into 'main'

Don't prevent printing everytime

See merge request !8
4 jobs for main in 1 minute and 40 seconds (queued for 2 seconds)