Documentation for metaborg projects