Use quarto.org URL for veraPDF download (#13986)

Use quarto.org redirect for veraPDF downloads

Switch veraPDF download URLs from the direct S3 bucket to a
quarto.org redirect. This provides a cleaner and more stable URL,
allows central version management via quarto-web, and aligns with
other Quarto download patterns.

The URL now follows the /verapdf/<version>/<filename> format to
match the quarto-web wildcard redirect. Updating veraPDF only
requires changing kDefaultVersion.

quarto-web handles the redirect (quarto-dev/quarto-web#1867)


---------

Co-authored-by: Claude Opus 4.5 <[email protected]>

Author: cderv

src/tools/impl/verapdf.ts

@@ -21,8 +21,8 @@ import {
 import { createToolSymlink, removeToolSymlink } from "../tools.ts";
 import { isWindows } from "../../deno_ral/platform.ts";
 
-// S3 bucket for veraPDF downloads
-const kBucketBaseUrl = "https://s3.amazonaws.com/rstudio-buildtools/quarto";
+// Download base URL (quarto.org redirects to S3 bucket)
+const kDownloadBaseUrl = "https://quarto.org/download";
 const kDefaultVersion = "1.28.2";
 
 // Supported Java versions for veraPDF
@@ -123,7 +123,8 @@ async function latestRelease(): Promise<RemotePackageInfo> {
   // Use pinned version from configuration or default
   const version = Deno.env.get("VERAPDF") || kDefaultVersion;
   const filename = `verapdf-greenfield-${version}-installer.zip`;
-  const downloadUrl = `${kBucketBaseUrl}/verapdf/${version}/${filename}`;
+  // Use quarto.org redirect with version in path (points to S3 bucket)
+  const downloadUrl = `${kDownloadBaseUrl}/verapdf/${version}/${filename}`;
 
   return {
     url: downloadUrl,