Merge remote-tracking branch 'remotes/origin/main' into...

Merge remote-tracking branch 'remotes/origin/main' into ARITH_HUFF_CODER_CHANGES_formal_improvements