ArithmeticCoder.html updates