I'm not sure what would be better. I just think that it is somehow confusing if both version are identical. So if we want to save some amount on frequently changing version numbers we should simply omit the example version.