Changed html file extensions