Modified public keys

Some of the public keys don't have a machine name or a machine name
that matches the .pub file.  Added a comment to indicate which .pub file
that it belongs to.