some more content, including better project description, and links to per-formalisation pages and publications