Documentation

A default index.html to use as the top-level index site, as long as the user doesn't paste its own to the appropriate location (e.g. pwd/default_index.html).