chiark / gitweb /
main: lower default log level to INFO