Well, the implementation of MochiKit's keys function was written years
before any of the browsers implemented an Object.keys function. It's
unfortunate that they don't do exactly the same thing, but changing
the implementation of MochiKit's keys would break existing code.