Documented the new d9 encoding that trades minor space efficiency with flexibility: the data does not need to start with its MSBit set to 1
Merge /home/gfannes/gubg
Adjusted the d9 encoding and decoding to the new flip bit encoding (closed when matching 0b10******)