Conforming `hits.tex` to variable page width, up to Lemma 6.12.8.