This is an old revision of the document!
In this thread, Markku-Juhani O. Saarinen points out a potential trivial forgery attack on HKC. Designers have yet not commented.