HOL: update to k.8
Fix HOL documentation build