Merge "dev-release: document changing the archetypeVersion in dev-plugins.txt"