Hi David, Your latest patch looks great to me. I have only one request: please update the docstrings of 'spawn-coop-repl-server' and 'poll-coop-repl-server' to match their current descriptions in the manual, except without texinfo markup, as usual.
Other than that, I think the patch is ready to push, although of course
MVars have to go in first. Now it's my turn to write docs, and tests :)
Thanks again!
Mark
