Great! :)
Because of this problem you've found, I've made a change to the RDF import so that it now checks to see whether the file is a binary file; if it is, it assumes it is gzipped. Due to some browsers uncompressing on download but leaving it as .gz, and some adding .txt but leaving it as gzip, and whatever else browsers might be doing this seems like a far more reliable way to determine whether the file is actually gzipped.
Jason Rhinelander
Gossamer Threads
jason@gossamer-threads.com
Because of this problem you've found, I've made a change to the RDF import so that it now checks to see whether the file is a binary file; if it is, it assumes it is gzipped. Due to some browsers uncompressing on download but leaving it as .gz, and some adding .txt but leaving it as gzip, and whatever else browsers might be doing this seems like a far more reliable way to determine whether the file is actually gzipped.
Jason Rhinelander
Gossamer Threads
jason@gossamer-threads.com