chore: keep the launchers off the release

check_release reports a launcher in the checksum list as unrecorded and
one attached as extra, as it does for install.py. The release steps no
longer run build_port, and the checksum and upload globs name the packs
(*_BIOS_Pack*.zip) so a launcher left in dist/ is never caught.

scripts/check_release.py

@@ -3,13 +3,13 @@
 
 Run on the draft before publishing it, and on the published release at any
 time. Every pack asset release.json names must be on the release at the sha256
-SHA256SUMS.txt lists for it, as must each handheld launcher (RetroBIOS.zip
-and the others build_port.py writes) the list names, the parts of a pack must add up to the download
+SHA256SUMS.txt lists for it, the parts of a pack must add up to the download
 size the README prints, and nothing else may be attached. The record holds
 one pack for each platform the registry marks release_pack, and no other
-pack. The installer and the file lists are not release files: a package pins
-them from the tag, so a reader of the release page sees the packs and nothing
-to puzzle over. An upload that
+pack. The installer, the file lists and the handheld launchers are not
+release files: a package pins the first two from the tag, and the site
+serves the launchers built from its own commit (sitehandheld.py), so a
+reader of the release page sees the packs and nothing to puzzle over. An upload that
 failed in the loop, or a part re-uploaded from an older build, otherwise
 publishes a release that `sha256sum --check` rejects for every user.
 
@@ -31,7 +31,6 @@ from dataclasses import dataclass
 from pathlib import Path
 
 sys.path.insert(0, os.path.dirname(__file__))
-from build_port import ARCHIVES
 from check_release_assets import digests_of
 from common import list_release_pack_platforms, require_directory
 from largefiles import LARGE_FILES_REPO
@@ -112,9 +111,7 @@ def compare_release(
         findings.append(Finding("extra", name, "attached but neither recorded nor listed"))
     for name in sorted(set(recorded) - set(sums)):
         findings.append(Finding("unlisted", name, f"absent from {SUMS}"))
-    # The handheld launchers are release files but no packs: release.json
-    # records packs, and the checksum list alone vouches for the launchers.
-    for name in sorted(set(sums) - set(recorded) - set(ARCHIVES)):
+    for name in sorted(set(sums) - set(recorded)):
         findings.append(Finding("unrecorded", name, f"listed in {SUMS}, absent from release.json"))
 
     wanted = {**sums, **(local_files or {})}