chiark / gitweb /
wip; justify choice of Dijkstra