chiark / gitweb /
man: remove trigger --type=failed handling