--- title: 404 Not Found --- This is a 404.html error page. [GitHub pages](https://help.github.com/articles/creating-a-custom-404-page-for-your-github-pages-site/) suggested that it should be a `.md` file, but the Hyde theme uses a `.html`, so we handle it as well. It should not be indexed.