I'd almost rather just push this change, but decided it'd be better to email it to the list in case anyone objects. I've never gotten the idea that anyone else uses ScratchWorkspace, it's got a horrible design and implementation, and doesn't work very well. I'd prefer to ditch the code. David Fri May 16 13:57:29 CDT 2008 David Roundy <droundy@darcs.net> * remove ScratchWorkspace. It's ugly code, and I'd be surprised if anyone actually uses it. I see no reason to continue to maintain it.