chiark / gitweb /
clean up pirate-route