Notes on compression and the binary format.