pub async fn grace_period(cancel: &Cancel)
Wait for cancellation, then give workers a bounded grace period. Used by the CLI so Ctrl+C cannot hang the process (PRD §26).