Even if it isn't automatically generated, it would be good to have the version here.