DUNE 2.4.2 maintenance release

I am preparing a Dune 2.4.2 maintenance release. I am aiming for somewhere towards end of March or April.

Please back-port any commits soon!