Index file for finitegeometry.github.io/posts.