Added HTML file extensions