autogen repository

This repository holds all documents and output that are automatically generated by other scripts and GitHub actions. Manual edits will most likely be overwritten by said scripts.