Version 730 was commited by steve on 2008-11-29 18:55:04 +0000 (Sat, 29 Nov 2008) When extraBit is set, then add a single bit at the end of the bitstream. Always 0 at present, but no doubt there is some case where it should be 1.