This is the personal project of Paul Eggert. This project is created automatically during user registration as an easy place to store personal data that doesn't need its own project such as cloned repositories.
