Delete hfdst-3.tex