chiark / gitweb /
install: filter out log messages better