chiark / gitweb /
places output