[RE2] The download source comes now directly from the project.