What are the html files that are not views being used for?