let html files always end in .html