This talk was taking up a lot of disk-space, and I wasn't even sure how 
many people are listening to it, so I figured I'd compress the file.  The 
<a href="http://jamespropp.org/DR.mp3.gz">gzipped audio 
recording</a> should work; if it doesn't, please send me email.