chiark / gitweb /
man: replace syslog name in man page by configured name