Be more DRY about version number in the docs.