delete HTML file -- it has been replaced by AsciiDoc file