chiark / gitweb /
install: simplification