Patched keyboardnav.js for Keyboard Navigation Chrome Extension