chiark / gitweb /
install: various improvements