Oh, yeah, I can remove that. I cut-n-pasted `keys.js` from the `openbadges` project and wasn't sure if I was going to make a bad key available or not.