Regenerate with `dot -Tsvg -O *.dot`. Optimize with `svg *.svg`.

[graphviz] must be installed.

[graphviz]: https://graphviz.org/download/