gh-121453: Update the Doc/templates/download.html
download files size estimates and support download .texi
format.
#103299
require-pr-label.yml
on: pull_request
DO-NOT-MERGE / unresolved review
4s