chiark / gitweb /
Correct documentation for 'revoke'.