This is a placeholder for an “about” page, which we should write at some point.