chiark / gitweb /
routesearch: print highscore tables best first