This is the index page served by the default Servlet.