chiark / gitweb /
added a link to the policy, and explained the current practice in the synopsis sectio...