Add comment to explain gzip workaround.