11. Transport encoding: .plxi.gz

A .plxi.gz file is a gzip member [RFC1952] whose decompressed bytes are a complete .plxi file. It exists for shipping; a reader MUST decompress it fully before reading the appendix, and memory-mapped, zero-copy access is not available through it. A writer that streams into gzip cannot seek, so it leaves a placeholder header (§3.3).