[minor] Because the plugin is already mentioned in `<pluginManagement>`, I don't think we need `<groupId>` and `<version>` here..?