Specify Kankri and fix typo.

Corner case specifications are required.
Don't check coverage of specifications.
Remove duplicate PrivilegeSubject.

Also remove documentation about god mode - this doesn't exist anymore.