remove pesky public html file: