JackieD opened this issue on Sep 26, 2007 · 13 posts
ockham posted Thu, 27 September 2007 at 1:44 AM
The TXT file is actually a ZIP file. Rename it to a zip and then unzip it.
(I'd normally put the ZIP on my website, but the website is jammed up
for some reason right now.)