HTML filetype settings added.