updated to pdfjs-2.14.305;
prefer "legacy" distribution: more portable, notably for old Node.js/Electron of VSCodium;

--- a/Admin/components/components.sha1	Wed Jul 27 11:08:15 2022 +0200
+++ b/Admin/components/components.sha1	Wed Jul 27 12:28:53 2022 +0200
@@ -295,6 +295,7 @@
 fc66802c169f44511d3be30435eb89a11e635742 opam-2.0.7.tar.gz
 108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.tar.gz
 f8d0218371457eabe2b4214427d9570de92ed861 pdfjs-2.12.313.tar.gz
+aa7fc4a3d2cbd6c8744ddfeefd863828ea602bcd pdfjs-2.14.305.tar.gz
 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
 a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
 7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz

--- a/Admin/components/main	Wed Jul 27 11:08:15 2022 +0200
+++ b/Admin/components/main	Wed Jul 27 12:28:53 2022 +0200
@@ -18,7 +18,7 @@
 minisat-2.2.1-1
 nunchaku-0.5
 opam-2.0.7
-pdfjs-2.12.313
+pdfjs-2.14.305
 polyml-test-15c840d48c9a
 postgresql-42.2.24
 scala-3.1.3

--- a/src/Pure/Admin/build_pdfjs.scala	Wed Jul 27 11:08:15 2022 +0200
+++ b/src/Pure/Admin/build_pdfjs.scala	Wed Jul 27 12:28:53 2022 +0200
@@ -17,7 +17,7 @@
   /* build pdfjs component */
 
   val default_url = "https://github.com/mozilla/pdf.js/releases/download"
-  val default_version = "2.12.313"
+  val default_version = "2.14.305"
 
   def build_pdfjs(
     base_url: String = default_url,
@@ -39,7 +39,7 @@
 
     val download_url = base_url + "/v" + version
     Isabelle_System.with_tmp_file("archive", ext = "zip") { archive_file =>
-      Isabelle_System.download_file(download_url + "/pdfjs-" + version + "-dist.zip",
+      Isabelle_System.download_file(download_url + "/pdfjs-" + version + "-legacy-dist.zip",
         archive_file, progress = progress)
       Isabelle_System.bash("unzip -x " + File.bash_path(archive_file),
         cwd = component_dir.file).check