dijkstra • man page