Closing, as dune has been updated past 2.4.0.