Merge dev to beta (= main)

Merge dev to beta to be able to try cherry picking later changes (see !2 (merged) for changes that have been made). The publish and tagging stage of the pipeline are not yet configured for beta (=main) so they should not trigger, all other stages should trigger.