Kroki.io is integrated into the text editor I've been developing: https://github...

		thangalin on April 13, 2021 \| parent \| context \| favorite \| on: Online text to diagram tools (2020) Kroki.io is integrated into the text editor I've been developing: https://github.com/DaveJarvis/keenwrite#screenshots Would configuring it to use a local Kroki install be useful?