chiark / gitweb /
logfile: Log to stderr by default (`filename' key now optional)