Whether the `mvn` tool is legacy is up for debate ...

# random

[cedric]

Whether the mvn tool is legacy is up for debate but we’re going to be using maven repos for a very long time...