...

/usr/share/graphviz/lefty/dotty_ui.lefty