chiark / gitweb /
Make syslog a separate option, and do it better.