edprelude-pages The pages repository for the edprelude project. The markdown file that is displayed when visiting the associated pages site is in docs/index.md.