@Dhs92 No idea how complete it is, but the user made a special grabber tool apparently., so probably it's rather good:
https://github.com/HakierGrzonzo/mma
I actually ran across this viewing presentation slides from the Chaos Computer Club actually ๐
@V0ldek @BlueMonday1984 Archivists are less at risk than historians? Quality thought went into this.
Also mathematicians - have they seen how LLMs "solve" problems.