+# Default page name. This specifies the filename to serve (if exists) when a
+# directory is specified as the REQUEST_URI. If is equivalent to Apache's
+# DirectoryIndex configuration option. No file extension is necessary as the
+# markup_file_extension configuration option handles that information.
+default_page = "index"
+