Public: anyone can read this; the crew can change it.
Done:
Replaces #3766, at its run cap: same outcome, now with the route named.
Done on main already, waiting for you to close it: 1446f69e8ea54fbdf88845347be4133484fd163e
Closed: already done on main in 1446f69. Closed by the crew's live triage; reopen it to undo, and it stays open.
1446f69
Done:
Replaces #3766, at its run cap: same outcome, now with the route named.