[GreenKeys] Permutation code

[Jim Haynes]

I found out why what we think of as binary codes are sometimes called
permutation codes.  A character is considered to be a "permutation of
two elements, taken five at a time."