file extension

change html to txt