feat: keep the address of a file that left

files/?sha1= of a file the collection no longer holds answered that no
file the site knows has the hash. generate_db.py now records each sha1 a
rebuild drops in retired.json, with the day and the file in its place,
backfilled from the history since 0d586ef6b (4,139 files). The lookup
answers with it and leads to the successor's card.

.github/workflows/deploy-site.yml

@@ -53,6 +53,7 @@ on:
       - "scripts/sitemeasurements.py"
       - "scripts/siteexports.py"
       - "scripts/siterender.py"
+      - "scripts/retired_files.py"
       - "scripts/sitesources.py"
       - "scripts/sitestarlight.py"
       - "scripts/sitewrite.py"
@@ -79,6 +80,7 @@ on:
       - "database.json"
       - "release.json"
       - "derivable.json"
+      - "retired.json"
       - "measurements/**"
       # The Proof lines of the emulator pages read what an issue's runs showed.
       - "tests/campaign/observations.yml"

.github/workflows/validate.yml

@@ -29,6 +29,7 @@ on:
       - "database.json"
       - "release.json"
       - "derivable.json"
+      - "retired.json"
       - "measurements/**"
       - "website/**"
   # Spelled out twice because the workflow parser reads no YAML anchor. A test
@@ -54,6 +55,7 @@ on:
       - "database.json"
       - "release.json"
       - "derivable.json"
+      - "retired.json"
       - "measurements/**"
       - "website/**"