Well, at least we manage the version centrally. Merging this PR.