chiark / gitweb /
Docs: Say that unknown divert kinds should be fatal