chiark / gitweb /
profile.d/02infra: The number of keepers in a set is `tot', not `num'.