index: remove html comments, which are put in generated index