Upgrade to coverage 3.7.1 and have it auto-build itself on first use.

third_party/coverage-3.7.1/coverage/htmlfiles/jquery.hotkeys.js

 /*
  * jQuery Hotkeys Plugin
  * Copyright 2010, John Resig
  * Dual licensed under the MIT or GPL Version 2 licenses.
  *
  * Based upon the plugin by Tzury Bar Yochay:
  * http://github.com/tzuryby/hotkeys
  *
  * Original idea by:
  * Binny V A, http://www.openjs.com/scripts/events/keyboard_shortcuts/
@@ skipping 79 matching lines @@
                                 }
                         }
                 };
         }
 
         jQuery.each([ "keydown", "keyup", "keypress" ], function() {
                 jQuery.event.special[ this ] = { add: keyHandler };
         });
 
 })( jQuery );