TODO: Automate exporting documentation (fix broken mermaid graph) ? (unless github makes it work fine)