A git 'crib' now appears at the bottom of index.html comments, to ensure I get it right.