Archive, part 2: an archived repository leaves the home's apps, the explorer's default view and the inbox, and the crew takes no new runs for it #1839

Split from #1619. Done looks like:

• [ ] The home's apps, the explorer's default view (src/web/pages/explorer.ts) and the asks/inbox queries leave out repositories with archived_at set. The explorer offers a filter that shows them.
• [ ] The crew starts no new run for an archived repository, and the refusal says why in one line. Runs already going finish.
• [ ] Tests: an archived repository is absent from the home, the explorer and the inbox but present by link; a run is refused for it. Run the asks, explorer and home tests with them.

State: split into #2454 (the home, the explorer and the inbox leave out archived repositories) and #2455 (the crew refuses new runs for one, in one line). Each is one run, and both are ready now. The archive column, PATCH and Settings this waited on landed in 1bc0db5a. #1620 now waits for #2454.

Correction: the forge refused my close as split (403), so this stays open. It now waits for the parts named above, and once they land there is nothing left to build here. A person can close it into them.

Done on main already, waiting for you to close it: a0a893788bb9f74ac364f1b635b5f74a7d7cc42a c59bf6fd1e8551960b82e2feb9d68003dbbae66b edcf58838bf18b08b08f5a2175418584cc8f2813 69ee02edfc1c3dace84a6c282860ed0daed938c1

State: done. The already-done-on-main note names a0a89378, c59bf6fd, edcf5883 and 69ee02ed; closing as done.

Closed: already done on main in a0a8937, c59bf6f, edcf588, 69ee02e.