This is a placeholder index.html.

This is only used for file hosting.