Serve Images from MathHub #11
Description
If we want to serve course materials from Mathhub, then we will need to somehow deal with (i.e. serve) the images in there. The images are in the respective math archives as "originals" (e.g. in https://gl.mathhub.info/MiKoMH/AI/tree/master/source/rational-agents/PIC) or as content generated from TIKZ (currently as tikz "source" in https://gl.mathhub.info/MiKoMH/AI/tree/master/source/search/tikz and (some) as SVG as well; but see UniFormal/MMT#466).
Concretely, we need to
- find a way to serve images, both "orginals" as well as "generated content"
- reference them properly in the presentation process