chiark / gitweb /
remove dead wood; reenable graph_layout_cost