Note details of zigzag encoding.

Also fix the encoding example, which didn't use zigzag encoding.

See #14.