chiark / gitweb /
Document the `pool' interface.