chiark / gitweb /
graphviz: label the edges