pub fn forget_open(workspace: &str, instance: u64)
A session ended: its unfinished calls go; finished ones stay for the next check.