Full threaddvfjsdhgfv·Do you know what software was used for the graph on p. 3? Usually I'm using GraphViz, but the arrows are not as nice.View on HN