jp6/cu126: links for ltl-graph-parser