Noted 18 Jan. 2005:

   We found that an earlier filename.doc form of the text
here seemed to be inaccessible. So today a filename.doc
version was created afresh from the old filename.txt
version which was accessible.