gh-121453: Update the Doc/templates/download.html download files size estimates and support download .texi format.#121454