It is unnecessary because version numbers are automatically added by
the Drupal.org packaging script when modules/themes are downloaded.