Should the contributor or you the maintainer rename the file? Could you please make it clearer?  Thanks