Delete htmlsyntax.h