Delete types.html