Cleanup/drop dune 2.3 compatibility

Timo Kochrequested to merge
cleanup/drop-dune-2.3-compatibility into master

Some cleanup tasks.

This can be merged after the 2.4 release.

Merge request reports