There's a way to open a *.gz file using open(), pipes and "gzip -d", but I'm either not remembering/finding it or hallucinating... Anyone recall this shortcut? (for bonus points, I'm sure a quick tutorial on open and pipes in general would also be appreciated by many)