gzip tips/tricks/HOWTOs

$Id: gzip.txt 1879 2008-07-04 09:06:17Z mjs $

HOWTO: gunzip files of arbitrary extensions

$ gunzip -S '' <filename>