Another xmlhtml version bump