On 11/6/19 5:04 pm, Sebastian Huber wrote: > I noticed also that we don't use the sphinxcontrib-plantuml extension: > > https://pypi.org/project/sphinxcontrib-plantuml/ > > Should we use it? It would enable the use of images in *.pdf format for the > Latex output. The PNGs are quite ugly in the Latex output. Sure, it looks good. Does it support ditaa? Chris