Former-commit-id: 7a06315787b85355f4840cbfb0431d55dea4293d
HTML file to avoid directory listing and to solve GIT commit of blank directories.