chiark / gitweb /
lint: be more strict about redundant summaries