Downloaded by cmd/downloader at build time.