The Metadata for the MMATh formalizations and active documents.
The IWGS Training Problems
The meta stuff for MDH data