On 7/13/07, Patrick Drechsler <patrick at pdrechsler.de> wrote: > Thanks for the info. I was not able to unpack the file with Windows > default unzipping utility or 7ZIP. Which archiving tool should I use > to unpack this file? UnZip from http://www.info-zip.org handles it (along with the Python zipfile module). Regards, Lee