Group Email Manager
I have documented thread-interrupt! in 5.14.6. Thread-exit! is now renamed to thread-stop!. I hope that only editorial changes remain before we finalize this.