viewerStaleNotice function
The once-only notice a viewer prints when the owner's lease flips live → stale under it.
Implementation
String viewerStaleNotice(SessionLease lease) =>
'lease: the driving ${leaseOwnerLabel(lease.host)} '
'(pid ${lease.pid}) looks dead — reopen this session to '
'drive it';