Rename pause/resume to halt/proceed to avoid conflicting with the stream API.  Make auto-halting more likely to work.  Improve documentation.