Delete some stray html files