We seen to manage the version of maven-release-plugin in particular, but we don’t use that for releases…

I’m sure there are other unused plugins. Let’s get rid of them.