chiark / gitweb /
commentary: document new criterion introduced in ea5f3526c7c0