chiark / gitweb /
clean up for distribution