Filetype.txt has moved to filetype.html